tromp / tromp.github.ioLinks
John Tromp homepage
☆29Updated last week
Alternatives and similar repositories for tromp.github.io
Users that are interested in tromp.github.io are comparing it to the libraries listed below
Sorting:
- The glitch-soc/Mastodon fork running on types.pl☆26Updated last week
- mmj2 GUI Proof Assistant for the Metamath project☆77Updated last year
- Dancing Quine Chameleon☆44Updated 10 years ago
- Cicada Language (PLCT little team)☆94Updated last year
- la sutysisku dictionary for Lojban and more☆40Updated last year
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- A free and opensource platform for studying the artificial language Lojban.☆94Updated this week
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆40Updated last year
- ☆38Updated 2 years ago
- An implementation of interaction nets in JS.☆132Updated 6 months ago
- Take an info.rkt file, produce a info.nix file.☆45Updated 4 years ago
- The Twelf Programming Language☆149Updated 2 weeks ago
- Programming with pure lambda calculus☆140Updated last month
- The roots of trust for all architectures☆105Updated last year
- A relational interpretation of Lojban☆36Updated 6 months ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆26Updated 5 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- koneko - a concatenative not-quite-lisp for kittens☆25Updated last year
- Git repository containing the Futhark website.☆10Updated this week
- ☆56Updated 3 weeks ago
- Functional golfing language inspired by Haskell.☆79Updated 4 years ago
- Parser and dictionary for the eberban language.☆31Updated this week
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…☆29Updated 8 months ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆35Updated this week
- A code-golf language written in Mathematica☆20Updated 5 years ago
- A Rust implementation of the Lean kernel☆11Updated 3 years ago
- Cicada Language (solo version)☆128Updated last year
- Book about using Lean with How To Prove It☆25Updated last month
- A WebAssembly implementation in Lean4☆41Updated 2 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆42Updated 8 months ago