Alternatives and similar repositories for numbers:

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

• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆16Updated last year
• TodePond / SandLab
  a splitting sand game
  ☆16Updated 2 years ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆22Updated last year
• fcrozatier / champagne
  champagne
  ☆32Updated last year
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆68Updated 3 weeks ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆32Updated 2 months ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆92Updated 3 months ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last week
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 2 years ago
• langjam / jam0003
  ☆26Updated 2 years ago
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆85Updated 2 weeks ago
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆50Updated 4 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆114Updated 6 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• erich-friedman / erich-friedman.github.io
  ☆48Updated last week
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• vihdzp / combinatorial-games
  Combinatorial game library in Lean 4
  ☆14Updated this week
• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆14Updated 2 weeks ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆20Updated this week
• kaya3 / MJr
  A probabilistic programming language based on pattern-rewriting
  ☆81Updated last year
• edemaine / mathcestor
  Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
  ☆13Updated 11 months ago
• madvorak / lean4-cheatsheet
  Printable (A4) overview of tactics in Lean 4 for beginners
  ☆24Updated 6 months ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆25Updated last year
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆13Updated 7 months ago
• SheafificationOfG / Fibsonicci
  Source code for a video on computing Fibonacci numbers efficiently
  ☆106Updated 4 months ago
• rose-lang / rose
  Composable autodiff for the interactive web.
  ☆24Updated 6 months ago
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆103Updated last week