Alternatives and similar repositories for tromp.github.io

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

• eberban / eberban
  Parser and dictionary for the eberban language.
  ☆31Updated last week
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆26Updated last week
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆94Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆77Updated last year
• lojban / ilmentufa
  ☆56Updated 3 weeks ago
• La-Lojban / sutysisku
  la sutysisku dictionary for Lojban and more
  ☆40Updated last year
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆94Updated last week
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆140Updated 2 months ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆197Updated this week
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆128Updated last year
• Dyalog / ride
  Cross-platform IDE for Dyalog APL
  ☆227Updated 2 weeks ago
• xieyuheng / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated 6 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆36Updated 6 months ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆26Updated last month
• standardml / twelf
  The Twelf Programming Language
  ☆149Updated 2 weeks ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆25Updated last month
• leanprover-community / mathlib-tools
  Development tools for https://github.com/leanprover-community/mathlib
  ☆34Updated 2 years ago
• oriansj / bootstrap-seeds
  The roots of trust for all architectures
  ☆105Updated last year
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆42Updated 9 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆79Updated 7 months ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆79Updated 4 years ago
• mhagiwara / zmifanva
  zmifanva - Lojban ↔ English Machine Translation Engine
  ☆38Updated 3 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• iczelia / A-Programming-Language
  An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.
  ☆19Updated 6 months ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆44Updated 2 months ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆26Updated 5 years ago
• otherjoel / tabloid
  📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
  ☆95Updated 5 years ago
• abrudz / dyalog-apl-extended
  Dyalog APL Extended
  ☆28Updated last year