Alternatives and similar repositories for numbers

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

• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆18Updated last year
• TodePond / SandLab
  a splitting sand game
  ☆16Updated 2 years ago
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• cucapra / lambdalab
  interactive λ-calculus for learning
  ☆37Updated 6 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆143Updated 3 months ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆69Updated 6 years ago
• healeycodes / lisp-to-js
  🖨 An optimizing compiler for a Lisp variant. Compiles and executes byte code in a VM. Can also output JavaScript.
  ☆27Updated 4 months ago
• otherjoel / tabloid
  📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
  ☆94Updated 4 years ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆115Updated this week
• cicada-lang / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated last month
• OCamlPro / superbol-studio-oss
  Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server
  ☆32Updated last month
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆43Updated last month
• jamesma100 / randomart
  generate art from a hash
  ☆24Updated last week
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆59Updated last year
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆36Updated 8 months ago
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆19Updated 6 months ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆25Updated last year
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆103Updated last week
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆11Updated 10 months ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆17Updated 5 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆94Updated last year
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆55Updated last month
• Dyalog / TryAPL
  This is the source code for TryAPL.org
  ☆26Updated last week
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• hpi-swa-lab / sb-tree-sitter
  Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars
  ☆14Updated last year
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated last week
• FlatAssembler / AECforWebAssembly
  A port of ArithmeticExpressionCompiler from x86 to WebAssembly, so that the programs written in the language can run in a browser. The co…
  ☆35Updated this week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆72Updated last month