Stars
A JS library for parsing, translating and constructing toki pona.
Automated property based testing for Rust (with shrinking).
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
Canonical is a performant sound and complete type inhabitation solver for dependent type theory.
Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS
Lean 4 programming language and theorem prover
The "batteries included" extended library for the Lean programming language and theorem prover
The Superior Lisp Interaction Mode for Emacs
cohost.org post preprocessor. it’s for posting on cohost.org. cohost.org posting. with css. dangerous css posting. you can be making a post that is so cascaded. in a style sheets way. advanced post…
rootdigitalleague / Adset
Forked from tad604/RootDigitalLeagueRoot digital League HTML/JS pages interface
Automatic code formatter for the Nix programming language
A demo implementation of a simple dependently-typed language
Social media bot that posts personalized license plate applications the California DMV received
Probabilistic language based on pattern matching and constraint propagation, 153 examples
An infinite canvas of text to edit and explore! All changes and edits you make are visible to all other visitors in real time!
A fully-featured Falling-Sand game in the browser - Powered by WebAssembly
Empowering everyone to build reliable and efficient software.
Signal is a fully-featured Discord R9K Bot