marvinborner / birbLinks
*cheep cheep shriek caw*
☆95Updated last year
Alternatives and similar repositories for birb
Users that are interested in birb are comparing it to the libraries listed below
Sorting:
- Programming with pure lambda calculus☆121Updated last week
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆81Updated last week
- File format and optimizer for programs encoded in binary lambda calculus☆16Updated last year
- Library of math functions for the Uiua programming language☆31Updated last week
- The glitch-soc/Mastodon fork running on types.pl☆26Updated 2 months ago
- Inline Haskell inside your Python code☆25Updated 10 months ago
- An esoteric programming language, using box-drawing characters☆29Updated 7 months ago
- koneko - a concatenative not-quite-lisp for kittens☆25Updated last year
- Electra is an esolang where you code like an electrician.☆98Updated this week
- ☆108Updated 2 weeks ago
- A small, weird and unpractical programming language.☆103Updated last week
- Fir programming language☆78Updated this week
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆36Updated this week
- An experimental non-deterministic concatenative golfing language☆24Updated last month
- A sudoku game where you have to prove that your deductions are valid☆116Updated 3 years ago
- The Nox programming language☆30Updated 2 years ago
- a simple language with a 1000 character interpreter inspired by toki pona☆82Updated 3 years ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆113Updated this week
- IDE support for the functional logic programming language Curry☆32Updated 5 months ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆65Updated 3 weeks ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆117Updated last week
- Interaction net resources☆32Updated last month
- A featureful sound change applier for language construction☆40Updated this week
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆69Updated last year
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- The future of programming.☆69Updated 4 years ago
- Animations of lambda term reduction sequences☆151Updated 7 years ago
- Catalog of visual lambda calculi☆156Updated 2 months ago
- An implementation of interaction nets as a forth-like language.☆37Updated 2 months ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 3 months ago