There are no reviews yet. Be the first to send feedback to the community and the maintainers!
ground_zero
Ground Zero: Lean 4 HoTT Libraryanders
Anders: Cubical Type Checkerloria
Minetest subgamelean4-categories
Category Theory & Cobordism Categories in Lean 4leanbot
IRC-bot written in Lean (https://leanprover.github.io/)bravo
Castle Bravo: Experimental HoTT Implementationsolar
Very simple solar system simulator.aos-milsim
Kind of Military Simulator Game built upon https://github.com/piqueserver/piqueserverlean-vcpu
dtt-cpp-templates
Dependent Type Theory on C++ Templatesstarfish_prime
Starfish Prime: Lisp Flavoured LCFemacs-qsharp-mode
GNU/Emacs Q# modetigerspades
BetterSpades for PowerPC Mac OS X9aout
Running native amd64 Plan 9 binaries through Syscall User Dispatch (Linux 5.11+)hypertest
Hyperbolic Minetest-like gamebachelor-thesis
fennel-vscode
romeo
Castle Romeo: Experimental Theorem Prover for Category Theorygeneral-recursive-functions
Toy point free language implementing GRFhask
Continuation of work on https://github.com/billpmurphy/hask, Haskell language features and standard libraries in pure Python.bump
Lean 4 Package Managerhrin
An attempt to reinvent the garbage collectorsound-experiments
Sound experimentslambda-limbo
Implementation of λ calculus in Limbofennel-types
principia
Principia: Metamath-like Logician Languagecubicaltt-vscode
coqbot
IRC‐Bot on Coq. Proof of concept.melting_point
Some mathematical stuff (in Lean)halite2
just-another-irc-bot
IRC‐Bot on F#lambda
Untyped lambda calculus implemented in Leangnustep-embed
Lightweight GNUstep/Cocoa wrapper for XTerm/RxvtLove Open Source and this site? Check out how you can help us