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 3 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆169Updated 6 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Updated 2 years ago
• hpi-swa-lab / sb-tree-sitter
  Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars
  ☆14Updated 4 months ago
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆101Updated 2 years ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆121Updated last month
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆19Updated 2 years ago
• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆77Updated 7 years ago
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆102Updated last week
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆162Updated 7 years ago
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆58Updated 6 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆95Updated this week
• jamesma100 / randomart
  generate art from a hash
  ☆23Updated 7 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆140Updated 2 months ago
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆40Updated last year
• cucapra / lambdalab
  interactive λ-calculus for learning
  ☆37Updated 6 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆20Updated 3 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆138Updated 2 months ago
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆16Updated 6 months ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆12Updated last year
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆15Updated 5 months ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆30Updated 2 years ago
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated last year
• bluefishjs / bluefish-archive
  A SolidJS diagramming framework
  ☆74Updated last year
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 4 months ago
• secwang / ngnkcart
  ☆15Updated 2 years ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆47Updated last week
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆15Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆42Updated 9 months ago