Milo's repositories
hackett
WIP implementation of a Haskell 98-like Lisp in Racket
Language:RacketISC000
Language:Racket000
agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:HaskellNOASSERTION000
syntax-generic
Language forms for generic functions over syntax objects in Racket
Language:Racket000
racket-mode
GNU Emacs major modes for Racket: Edit and REPL.
Language:Emacs Lisp000
nixpkgs
Nix Packages collection
Language:NixNOASSERTION000
Emacs-config
My emacs configuration
Language:Emacs Lisp000
dune
A composable build system for OCaml
Language:OCamlApache-2.0000
Language:Racket000
lwt
OCaml promises and concurrent I/O.
Language:OCaml000
org-parser-cpp
Org parser in C++
Language:C++000
rust-redex
Rust (Patina) in Redex
nanocaml
Nanopass for OCaml
Language:OCamlMIT000
tuareg
Emacs OCaml mode
Language:Emacs LispGPL-2.0000
Language:Racket000
batteries-included
Batteries Included project
Language:OCamlNOASSERTION000
agar-ircd
IRC server implemented in OCaml
Language:OCaml000
ante
The compile-time language
Language:C++MIT000
nanopass-framework-racket
nanopass compiler framework for Racket
Language:RacketMIT000
Language:Racket000
yes
An implementation of the `yes` command in Rust
Language:RustMIT000
mc
Myrddin Compiler
Language:CMIT000
protobuf-racket
Implementation of Google's Protocol Buffers (proto3) for Racket
jiyunet
Distributed, censorship-resistant messageboard.
Language:RustGPL-3.0000
Language:Racket000