Skip to content
View dunhamsteve's full-sized avatar
36 followers · 4 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor
Block or Report

Block or report dunhamsteve

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • Idris2 Public

    Forked from idris-lang/Idris2

    This repository is a fork of idris-lang/Idris2. It holds local experiments and contributions to Idris2. You probably want the original repository.

    Idris Other Updated Jul 16, 2024

  • pi-forall Public

    Forked from sweirich/pi-forall

    A demo implementation of a simple dependently-typed language

    Haskell Updated Jul 3, 2024

  • pi-forall-vscode Public

    Syntax highlighting for pi-forall

    TypeScript 1 MIT License Updated Jul 3, 2024

  • theHoTTGameGuide Public

    Forked from thehottgame/theHoTTGameGuide
    Updated Jun 7, 2024

  • lean4 Public

    Forked from leanprover/lean4

    Lean 4 programming language and theorem prover

    Lean Apache License 2.0 Updated May 4, 2024

  • create-melange-app Public

    Forked from dmmulroy/create-melange-app

    The fastest, friendliest, and most delightful way to get started with OCaml, ReasonML, and Melange, geared towards JavaScript and TypeScript developers

    OCaml Updated Mar 19, 2024

  • MicroHs Public

    Forked from augustss/MicroHs

    Tiny functional language implemented with combinators

    Haskell Other Updated Mar 16, 2024

  • iwork Public

    Code to convert pages files to HTML

    Go 25 7 MIT License Updated Feb 10, 2024

  • homebrew-core Public

    Forked from Homebrew/homebrew-core

    🍻 Default formulae for the missing package manager for macOS (or Linux)

    Ruby BSD 2-Clause "Simplified" License Updated Feb 9, 2024

  • idris2-pack Public

    Forked from stefan-hoeck/idris2-pack
    Idris BSD 3-Clause "New" or "Revised" License Updated Feb 9, 2024

  • plfa.github.io Public

    Forked from plfa/plfa.github.io

    An introduction to programming language theory in Agda

    Agda Creative Commons Attribution 4.0 International Updated Jan 26, 2024

  • idris2-lsp-vscode Public

    Forked from bamboo/idris2-lsp-vscode

    Visual Studio Code integration for the Idris 2 language server

    TypeScript MIT License Updated Dec 30, 2023

  • aoc2023 Public

    Lean Updated Dec 28, 2023

  • idris2-lsp Public

    Forked from idris-community/idris2-lsp

    Fork of idris2-lsp

    Idris BSD 3-Clause "New" or "Revised" License Updated Nov 7, 2023

  • tana-stuff Public

    TypeScript 3 Updated Oct 8, 2023

  • idris-tparsec Public

    Forked from gallais/idris-tparsec

    TParsec - Total Parser Combinators in Idris

    Idris GNU General Public License v3.0 Updated Aug 6, 2023

  • scummvm Public

    Forked from scummvm/scummvm

    Fork of ScummVM main repository

    C++ 1 GNU General Public License v3.0 Updated Jul 16, 2023

  • sqljs Public

    Experiments with sqlite databases in javascript

    TypeScript Updated Apr 30, 2023

  • ios Public

    Utility to extract files and keychain information from iOS backups

    Go 121 26 Other Updated Apr 29, 2023

  • Yaffle Public

    Forked from edwinb/Yaffle

    A core language and API for dependently typed languages

    Idris Updated Apr 13, 2023

  • ncurses-idris Public

    Forked from mattpolzin/ncurses-idris

    A hobby implementation of an ncurses binding for Idris 2

    Idris MIT License Updated Apr 13, 2023

  • aoc2022 Public

    Advent of Code 2022 - In rust and lean4

    Lean Updated Jan 30, 2023

  • theorem_proving_in_lean4 Public

    Forked from leanprover/theorem_proving_in_lean4

    Theorem Proving in Lean 4

    JavaScript Apache License 2.0 Updated Jan 15, 2023

  • aoc2021 Public

    Advent of Code 2021 in Idris (amateur hour)

    Idris 1 Updated Dec 31, 2022

  • tana-import-tools Public

    Forked from tanainc/tana-import-tools

    A set of tools to get various data formats into Tana

    TypeScript MIT License Updated Dec 22, 2022

  • notesutils Public

    Utilities for extracting notes from Notes.app. This repository is lightly maintained and mainly exists to serve as documentation and starting point for your own scripts.

    Python 207 15 The Unlicense Updated Dec 6, 2022

  • agda-mode-vscode Public

    Forked from banacorn/agda-mode-vscode

    vscode agda-mode, forked so I could adjust some things

    ReScript MIT License Updated Nov 27, 2022

  • SPLV20 Public

    Forked from edwinb/SPLV20

    edwinb's SPLV20 course notes, updated to run on current Idris2. (The updates build on work by @gallais.) The corresponding lectures are at https://www.youtube.com/playlist?list=PLmYPUe8PWHKqBRJfwBr…

    idris2
    Idris 7 1 Updated Nov 19, 2022

  • check-deptype Public

    In progress implementation of "Checking Dependent Types" tutorial, translated to Idris2

    Idris Updated Nov 13, 2022

  • idrall Public

    Forked from alexhumphreys/idrall

    Dhall bindings for Idris

    Idris Mozilla Public License 2.0 Updated Oct 28, 2022