Similar repositories to leanprover/cmu-15815-s15:

• leanprover/cmu-15815-s15 github similar
• expnkx/fast_io github similar
• idris-industry/idris-sdecl github similar
• Co-dfns/APL-Skeleton github similar
• KasraF/LooPy github similar
• JoeyEremondi/lambda-pi-constraint github similar
• leanprover/lean.js github similar
• OCamlPro/memthol github similar
• Dyalog/vecdb github similar
• vmchale/permutations github similar
• frex-project/idris-frex github similar
• tiancaiamao/shen-go github similar
• Dyalog/dyalog-jupyter-kernel github similar
• edwinb/Idris2 github similar
• LexiFi/csml github similar
• OCamlPro/ocp-index github similar
• dzaima/APL github similar
• gioblu/BIPLAN github similar
• sweirich/lambda-n-ways github similar
• mmcqd/pure github similar
• gelisam/klister github similar
• wilbowma/pl-thesaurus github similar
• AndrasKovacs/staged github similar
• jrslepak/Remora github similar
• ashutoshbsathe/yacv github similar
• Jellonator/Nandlang github similar
• grin-compiler/ghc-grin github similar
• namin/io.livecode.ch github similar
• chrrasmussen/Idris2-Erlang github similar
• msakai/toysolver github similar
• liamoc/holbert github similar
• project-everest/mitls-fstar github similar
• appleby/Lisp-In-Small-Pieces github similar
• melsman/apltail github similar
• andrejbauer/spartan-type-theory github similar
• siddhartha-gadgil/ProvingGround github similar
• rossberg/1ml github similar
• skilldrick/easyforth github similar
• purescript-contrib/purescript-aff github similar
• fsharp/FSharp.Compiler.Service github similar