dunhamsteve Goto Github PK

agda-mode-vscode

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

aoc2021

Advent of Code 2021 in Idris (amateur hour)

aoc2022

Advent of Code 2022 - In rust and lean4

aoc2023

blackfriday

Fork of blackfriday to support '$' quoted equations

check-deptype

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

create-melange-app

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

cryptdb

A database system that can process SQL queries over encrypted data.

dunhamsteve.github.io

epigram1

A version of Epigram 1 that can run with newer GHCs

filerelay

Translation of filerelaytest.c in go

framework2proto

Extracts protobuf definitions from OSX frameworks

gopl.io

Example programs from "The Go Programming Language"

grace

A functional language built on json. Forked to get it to work, and so I don't lose the link.

hbaker1

homebrew-core

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

hyperapp

forked copy of hyper app for tweaks to v2 branch

idrall

Dhall bindings for Idris

idris-tparsec

TParsec - Total Parser Combinators in Idris

idris2

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

idris2-docset

Scripts to create Dash docset for Idris2

idris2-lsp

Fork of idris2-lsp

idris2-lsp-vscode

Visual Studio Code integration for the Idris 2 language server

idris2-pack

ios

Utility to extract files and keychain information from iOS backups

iwork

Code to convert pages files to HTML

jonesforth

This is a fork of nornagon/jonesforth that I intend to translate to a different architecture for learning purposes.

katla

lean4

Lean 4 programming language and theorem prover

microhs

Tiny functional language implemented with combinators