Alternatives and similar repositories for numbers

Users that are interested in numbers are comparing it to the libraries listed below

• TodePond / SandLab
  a splitting sand game
  ☆17Updated 2 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆157Updated 3 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 4 months ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆125Updated 10 months ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆18Updated last year
• Dyalog / TryAPL
  This is the source code for TryAPL.org
  ☆27Updated 3 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆35Updated 5 months ago
• otherjoel / tabloid
  📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
  ☆94Updated 4 years ago
• nilaymaj / esolang-park
  An online visual debugger for esoteric languages
  ☆50Updated last year
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 4 months ago
• codereport / hoogle-translate
  ☆108Updated last month
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆35Updated last month
• attempt-this-online / attempt-this-online
  Try It Online clone: online sandbox environment for testing code in a variety of languages
  ☆66Updated 2 weeks ago
• teorth / expdb
  Exponent pair database
  ☆62Updated this week
• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆73Updated 6 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated this week
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆103Updated last week
• cucapra / lambdalab
  interactive λ-calculus for learning
  ☆37Updated 6 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆152Updated 7 years ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆117Updated last week
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆55Updated last year
• alikiki / baby-tldraw
  An infinite canvas implementation in <500 LOC.
  ☆26Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆34Updated 2 years ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last month
• DolphyWind / Electra-Lang
  Electra is an esolang where you code like an electrician.
  ☆98Updated last week
• xieyuheng / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated 3 months ago
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆100Updated last year
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆95Updated last year