Alternatives and similar repositories for numbers

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

• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆153Updated 2 months ago
• TodePond / SandLab
  a splitting sand game
  ☆16Updated 2 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆147Updated 7 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆11Updated last year
• shriram / mystery-languages
  Mystery Languages
  ☆40Updated 2 years ago
• cucapra / lambdalab
  interactive λ-calculus for learning
  ☆37Updated 6 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆43Updated last week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆34Updated 4 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 3 months ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated 3 weeks ago
• jamesma100 / randomart
  generate art from a hash
  ☆24Updated 2 months ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆111Updated last year
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆116Updated last week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 3 months ago
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆18Updated last year
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆93Updated last year
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆56Updated 2 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆121Updated 3 weeks ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆16Updated last year
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆112Updated 2 months ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• dsagman / picat
  Learning Constraint Programming with Picat
  ☆41Updated this week
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated this week
• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆72Updated 6 years ago
• liam923 / remora
  A dependently-typed, array-polymorphic language that runs on parallel architectures
  ☆24Updated last year
• data-centric-computing / dcic-public
  Repository for (for now) filing bug reports about DCIC.
  ☆29Updated last month
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 9 months ago
• barry-jay-personal / typed_tree_calculus
  types for various combinatory systems, especialy tree calculi
  ☆19Updated 8 months ago