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
  ☆158Updated 4 months ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated 2 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆117Updated this week
• TodePond / SandLab
  a splitting sand game
  ☆17Updated 2 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆152Updated 7 years ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆112Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• jamesma100 / randomart
  generate art from a hash
  ☆24Updated 4 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆36Updated 6 months ago
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated last week
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆103Updated last week
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 5 months ago
• hpi-swa-lab / sb-tree-sitter
  Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars
  ☆14Updated last month
• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆74Updated 7 years 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*
  ☆95Updated 2 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated 2 weeks ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated last month
• cucapra / lambdalab
  interactive λ-calculus for learning
  ☆37Updated 6 years ago
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆62Updated last year
• Luka-O / polya-enumeration-theorem
  A Lean 4 formalization of Pólya enumeration theorem.
  ☆21Updated 5 months ago
• prathyvsh / history-of-lambda-calculus
  Survey on materials that touch on the history of Lambda Calculus
  ☆12Updated 5 years ago
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆35Updated last year
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆67Updated 2 months ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆36Updated 2 months ago
• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆18Updated last week
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆40Updated 4 months ago