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
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• nilaymaj / esolang-park
  An online visual debugger for esoteric languages
  ☆48Updated 11 months ago
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆16Updated last year
• djvelleman / HTPILeanPackage
  ☆28Updated last month
• nst / PSChess
  A Chess Engine in PostScript
  ☆58Updated last week
• Dyalog / TryAPL
  This is the source code for TryAPL.org
  ☆24Updated last week
• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆13Updated this week
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆52Updated last year
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• ianthehenry / toodle.studio
  turtle graphics playground
  ☆74Updated last year
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆68Updated last week
• fcrozatier / champagne
  champagne
  ☆32Updated last year
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆231Updated 3 months ago
• nathanieljohnston / game-of-life-book
  A textbook for Conway's Game of Life.
  ☆33Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆32Updated last month
• codereport / plr
  GitHub repo backing Programming Language Ranking website ⬇️
  ☆31Updated 3 weeks ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 2 years ago
• coq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆42Updated 9 months ago
• Omnikar / uiua-math
  Library of math functions for the Uiua programming language
  ☆25Updated 3 weeks ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆74Updated this week
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆61Updated 7 months ago
• langjam / jam0003
  ☆26Updated 2 years ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 4 years ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆52Updated this week
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆58Updated last week
• enjeck / num2math
  Complicated math expression generator
  ☆99Updated 8 months ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last month