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
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆148Updated last month
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆114Updated this week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 2 months ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆25Updated last year
• jamesma100 / randomart
  generate art from a hash
  ☆24Updated last month
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆37Updated last month
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆103Updated last week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 3 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆14Updated 2 years ago
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆18Updated last year
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆110Updated last year
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆141Updated 7 years ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆35Updated this week
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆55Updated last month
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆93Updated last year
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 3 years ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆111Updated last month
• jcponce / calculus
  Applets about Calculus
  ☆38Updated last year
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated last month
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆63Updated 10 months ago
• hpi-swa-lab / sb-tree-sitter
  Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars
  ☆14Updated last year
• thamugadi / mltt-c
  Martin-Löf type theory + W-types implemented in C (WIP)
  ☆25Updated 2 weeks ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated 11 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆82Updated 10 months ago
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆62Updated last year
• xieyuheng / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated last month