marvinborner / birbLinks
*cheep cheep shriek caw*
☆93Updated last year
Alternatives and similar repositories for birb
Users that are interested in birb are comparing it to the libraries listed below
Sorting:
- File format and optimizer for programs encoded in binary lambda calculus☆16Updated last year
- Programming with pure lambda calculus☆118Updated 2 weeks ago
- The glitch-soc/Mastodon fork running on types.pl☆26Updated 3 weeks ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆82Updated 10 months ago
- A small, weird and unpractical programming language.☆103Updated this week
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆115Updated 2 weeks ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆64Updated 10 months ago
- Electra is an esolang where you code like an electrician.☆97Updated 5 months ago
- Library of math functions for the Uiua programming language☆28Updated last week
- ☆104Updated 3 weeks ago
- koneko - a concatenative not-quite-lisp for kittens☆25Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 2 months ago
- A sudoku game where you have to prove that your deductions are valid☆116Updated 3 years ago
- Apple array system☆67Updated 3 weeks ago
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆94Updated 4 years ago
- a simple language with a 1000 character interpreter inspired by toki pona☆81Updated 3 years ago
- An esoteric programming language, using box-drawing characters☆29Updated 6 months ago
- Like APL, but with emojis☆15Updated 3 years ago
- Animations of lambda term reduction sequences☆143Updated 7 years ago
- World's fastest FRACTRAN interpeter☆14Updated 2 years ago
- Inline Haskell inside your Python code☆25Updated 9 months ago
- Linearizability Hoare Logic☆14Updated 5 months ago
- Raylib bindings for Lean4☆27Updated 4 months ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆112Updated last month
- A SKI combinators interpreter written in assembly☆20Updated 5 years ago
- The future of programming.☆69Updated 4 years ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆32Updated this week
- SKI combinators☆55Updated 8 years ago
- Martin-Löf type theory + W-types implemented in C (WIP)☆25Updated 3 weeks ago
- Catalog of visual lambda calculi☆150Updated last month