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:
- a splitting sand game☆17Updated 2 years ago
- Visual environment for manipulation the lambda calculus expressions☆29Updated last year
- A small, weird and unpractical programming language.☆102Updated last week
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆119Updated this week
- Martin-Löf type theory + W-types implemented in C (WIP)☆27Updated 4 months ago
- A formal consistency proof of Quine's set theory New Foundations☆75Updated 5 months ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆36Updated last week
- 32-bit integer only RISC-V core, along with assembler, linker, and compiler from scratch☆22Updated 2 months ago
- Draw railroad diagrams of EBNF grammars. In browser and on command line☆74Updated 7 years ago
- McLulang: The message is the language☆12Updated last year
- Here we give programs that check if Turing machines halt or not.☆14Updated 3 months ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- Catalog of visual lambda calculi☆161Updated 4 months ago
- Programming with pure lambda calculus☆133Updated this week
- Compiler Backend for LSTS (Typed Macro Assembler)☆36Updated this week
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Updated 2 months ago
- An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)☆18Updated last year
- A place to put our 2018 Xena project UROP thoughts and programs.☆26Updated 5 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆37Updated 7 months ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Updated 2 years ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆112Updated 2 years ago
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆24Updated last year
- Some papers on "Lambda Calculus"☆32Updated last month
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆130Updated 11 months ago
- Survey on materials that touch on the history of Lambda Calculus☆12Updated 5 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 11 months ago
- generate art from a hash☆24Updated 5 months ago
- *cheep cheep shriek caw*☆97Updated 2 years ago
- The Befunge-98 test suite.☆28Updated 3 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆82Updated 2 months ago