marvinborner / birbLinks
*cheep cheep shriek caw*
☆101Updated 2 years ago
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☆17Updated 2 years ago
- Programming with pure lambda calculus☆140Updated 2 months ago
- The glitch-soc/Mastodon fork running on types.pl☆26Updated 2 weeks ago
- Library of math functions for the Uiua programming language☆31Updated last month
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 4 months ago
- Inline Haskell inside your Python code☆25Updated 3 weeks ago
- An esoteric programming language, using box-drawing characters☆29Updated 11 months ago
- ☆127Updated last week
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆43Updated this week
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆95Updated 5 years ago
- An implementation of interaction nets as a forth-like language.☆44Updated 2 months ago
- IDE support for the functional logic programming language Curry☆35Updated 3 months ago
- koneko - a concatenative not-quite-lisp for kittens☆25Updated last year
- A small, weird and unpractical programming language.☆102Updated last week
- Apple array system☆69Updated last month
- Binary Lambda Calculus Virtual Machine☆58Updated 2 years ago
- Animations of lambda term reduction sequences☆162Updated 7 years ago
- A featureful sound change applier for language construction☆42Updated 3 months ago
- A lazy subset of JavaScript☆31Updated 2 weeks ago
- Electra is an esolang where you code like an electrician.☆99Updated 2 months ago
- a simple language with a 1000 character interpreter inspired by toki pona☆82Updated 4 years ago
- ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.☆61Updated last week
- An experimental non-deterministic concatenative golfing language☆26Updated last month
- The future of programming.☆69Updated 4 years ago
- Run dyalog APL and RIDE on nixos☆20Updated last year
- ☆38Updated 7 months ago
- SKI combinators☆56Updated 8 years ago
- a self-hosting lambda calculus compiler☆37Updated 10 months ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- Like APL, but with emojis☆15Updated 3 years ago