Alternatives and similar repositories for tromp.github.io

Users that are interested in tromp.github.io are comparing it to the libraries listed below

• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆26Updated last week
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆77Updated last year
• coolwanglu / quine-chameleon
  Dancing Quine Chameleon
  ☆44Updated 10 years ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆94Updated last year
• La-Lojban / sutysisku
  la sutysisku dictionary for Lojban and more
  ☆40Updated last year
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆94Updated this week
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆40Updated last year
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• xieyuheng / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated 6 months ago
• fractalide / racket2nix
  Take an info.rkt file, produce a info.nix file.
  ☆45Updated 4 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆149Updated 2 weeks ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆140Updated last month
• oriansj / bootstrap-seeds
  The roots of trust for all architectures
  ☆105Updated last year
• brismu / brismu
  A relational interpretation of Lojban
  ☆36Updated 6 months ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆26Updated 5 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆25Updated last year
• diku-dk / futhark-website
  Git repository containing the Futhark website.
  ☆10Updated this week
• lojban / ilmentufa
  ☆56Updated 3 weeks ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆79Updated 4 years ago
• eberban / eberban
  Parser and dictionary for the eberban language.
  ☆31Updated this week
• ioannad / jeffrey
  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
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆35Updated this week
• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆20Updated 5 years ago
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated 3 years ago
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆128Updated last year
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆25Updated last month
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆41Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆42Updated 8 months ago