Mabi19 / numbersLinks
An interactive exploration of various number formats
☆30Updated last year
Alternatives and similar repositories for numbers
Users that are interested in numbers are comparing it to the libraries listed below
Sorting:
- Catalog of visual lambda calculi☆162Updated 5 months ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆121Updated 3 weeks ago
- An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)☆18Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- Mystery Languages☆41Updated 2 years ago
- Here we give programs that check if Turing machines halt or not.☆15Updated 3 months ago
- *cheep cheep shriek caw*☆99Updated 2 years ago
- Draw railroad diagrams of EBNF grammars. In browser and on command line☆76Updated 7 years ago
- Composable autodiff for the interactive web.☆28Updated last year
- a splitting sand game☆17Updated 2 years ago
- A formal consistency proof of Quine's set theory New Foundations☆76Updated 6 months ago
- generate art from a hash via random AST☆24Updated 5 months ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆132Updated last year
- SKI combinators☆56Updated 8 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆26Updated 5 years ago
- Applets about Calculus☆39Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆37Updated 7 months ago
- tool for turning Lean proofs into Blender animations☆80Updated this week
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆121Updated this week
- Visual environment for manipulation the lambda calculus expressions☆29Updated last year
- A small, weird and unpractical programming language.☆102Updated last week
- Programming with pure lambda calculus☆136Updated 3 weeks ago
- A web based playground for parsertl/lexertl☆28Updated 4 months ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆113Updated 2 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆81Updated 2 months ago
- My Advent of Code solutions☆23Updated last week
- McLulang: The message is the language☆12Updated last year
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Updated 2 months ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Updated 2 years ago
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆95Updated 4 years ago