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
  ☆16Updated 2 years ago
• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆16Updated 3 weeks ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• teorth / expdb
  Exponent pair database
  ☆57Updated last week
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆25Updated last year
• CharlesAverill / zenith
  A wireframe renderer written in OCaml
  ☆20Updated last year
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 4 years ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆93Updated 6 months ago
• enjeck / num2math
  Complicated math expression generator
  ☆102Updated 11 months ago
• howard36 / probase
  An online math contest platform
  ☆20Updated 2 months ago
• yizhe-ang / matrix-explorable
  An Explorable Explanation of Matrices and Linear Transformations
  ☆41Updated last year
• tearflake / symbolverse
  minimalistic s-expression based term rewriting framework
  ☆15Updated 2 weeks ago
• Dyalog / TryAPL
  This is the source code for TryAPL.org
  ☆26Updated 3 weeks ago
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆24Updated last month
• fcrozatier / champagne
  champagne
  ☆31Updated last year
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆17Updated last year
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆56Updated 7 months ago
• disconcision / nool
  nool is nool
  ☆10Updated last year
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆140Updated 2 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆53Updated 3 months ago
• cicada-lang / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated 3 weeks ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆72Updated last week
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆11Updated 10 months ago
• chasenorman / Canonical
  Canonical is a performant sound and complete type inhabitation solver for dependent type theory.
  ☆54Updated last week
• nilaymaj / esolang-park
  An online visual debugger for esoteric languages
  ☆50Updated last year
• erich-friedman / erich-friedman.github.io
  ☆53Updated 2 weeks ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• ccz181078 / Coq-BB5
  ☆309Updated 2 months ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year