marvinborner / birbLinks
*cheep cheep shriek caw*
☆97Updated 2 years ago
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☆133Updated this week
- The glitch-soc/Mastodon fork running on types.pl☆26Updated 4 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆82Updated 2 months ago
- File format and optimizer for programs encoded in binary lambda calculus☆17Updated last year
- Inline Haskell inside your Python code☆25Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆75Updated 5 months ago
- Fir programming language☆84Updated this week
- Library of math functions for the Uiua programming language☆31Updated 3 weeks ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆65Updated last year
- An esoteric programming language, using box-drawing characters☆29Updated 9 months ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆40Updated last month
- ⚗️ | System F-ω pure functional language with deterministic, GC-free memory via Interaction Nets and automatic parallelism☆33Updated last week
- An experimental non-deterministic concatenative golfing language☆25Updated last month
- IDE support for the functional logic programming language Curry☆34Updated last month
- Electra is an esolang where you code like an electrician.☆98Updated 3 weeks ago
- Here we give programs that check if Turing machines halt or not.☆14Updated 3 months ago
- a simple language with a 1000 character interpreter inspired by toki pona☆82Updated 3 years ago
- An implementation of interaction nets as a forth-like language.☆43Updated 3 weeks ago
- Interaction net resources☆41Updated last week
- ☆113Updated 2 weeks ago
- World's fastest FRACTRAN interpeter☆15Updated 3 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆119Updated last week
- koneko - a concatenative not-quite-lisp for kittens☆25Updated last year
- The future of programming.☆69Updated 4 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆39Updated 3 months ago
- SKI combinators☆56Updated 8 years ago
- A small, weird and unpractical programming language.☆102Updated last week
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆71Updated last year
- A relational interpretation of Lojban☆34Updated 4 months ago