Michael Zappa's repositories
nix-acl2s-build
instructions for building acl2s with nix
Language:Emacs Lisp000
Language:Haskell000
Language:C000
coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Language:Common LispMIT000
Language:JavaScriptBSD-3-Clause000
Language:Nix000
gradle2nix
Generate Nix expressions which build Gradle-based projects.
Language:KotlinMIT000
Language:Agda000
public
My public information, served at michzappa.com
Language:CSS000
Language:Agda000
Language:CSS000
Language:JavaScript000
Language:Elixir000
Language:Elixir000
Language:Java000
Language:Clojure000
Language:Java000
Language:Nix000
nixpkgs
Nix Packages collection
MIT000
Language:Coq000
Language:Ruby000