Michael Zappa (michzappa)

michzappa

Geek Repo

Location:Maryland

Home Page:michzappa.com

Github PK Tool:Github PK Tool

Michael Zappa's repositories

nix-acl2s-build

instructions for building acl2s with nix

Language:NixStargazers:1Issues:1Issues:0
Stargazers:0Issues:0Issues:0
Language:Emacs LispStargazers:0Issues:0Issues:0
Language:RacketStargazers:0Issues:2Issues:0
Language:HaskellStargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:0Issues:0

coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

Language:Common LispLicense:MITStargazers:0Issues:0Issues:0
Language:JavaScriptLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:Emacs LispStargazers:0Issues:2Issues:0
Language:NixStargazers:0Issues:0Issues:0

gradle2nix

Generate Nix expressions which build Gradle-based projects.

Language:KotlinLicense:MITStargazers:0Issues:0Issues:0
Language:KotlinStargazers:0Issues:2Issues:0
Language:AgdaStargazers:0Issues:0Issues:0

public

My public information, served at michzappa.com

Language:CSSStargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:2Issues:0
Language:AgdaStargazers:0Issues:0Issues:0
Language:CSSStargazers:0Issues:0Issues:0
Language:SchemeStargazers:0Issues:2Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:2Issues:0
Language:ElixirStargazers:0Issues:0Issues:0
Language:ElixirStargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:0Issues:0
Language:ClojureStargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:0Issues:0
Language:KotlinStargazers:0Issues:2Issues:0
Language:NixStargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

License:MITStargazers:0Issues:0Issues:0
Language:CoqStargazers:0Issues:0Issues:0
Language:RubyStargazers:0Issues:0Issues:0