marvinborner / birbLinks
*cheep cheep shriek caw*
☆94Updated last year
Alternatives and similar repositories for birb
Users that are interested in birb are comparing it to the libraries listed below
Sorting:
- Inline Haskell inside your Python code☆25Updated 7 months ago
- Library of math functions for the Uiua programming language☆28Updated last week
- File format and optimizer for programs encoded in binary lambda calculus☆14Updated last year
- Programming with pure lambda calculus☆110Updated 2 months ago
- The glitch-soc/Mastodon fork running on types.pl☆24Updated 3 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 8 months ago
- An experimental non-deterministic concatenative golfing language☆24Updated 3 months ago
- ☆99Updated 2 weeks ago
- ⛳ Sokoban game in 10 lines of Haskell☆26Updated 2 years ago
- Inspired by typelang, a lisp implemented in typescript's type engine☆13Updated 10 months ago
- Uiua bindings for Raylib☆27Updated last week
- The game that has critics raving, "ABUT"☆85Updated 3 months ago
- a simple language with a 1000 character interpreter inspired by toki pona☆79Updated 3 years ago
- An esoteric programming language, using box-drawing characters☆29Updated 4 months ago
- An implementation of interaction nets as a forth-like language.☆33Updated last month
- Electra is an esolang where you code like an electrician.☆97Updated 3 months ago
- World's fastest FRACTRAN interpeter☆14Updated 2 years ago
- arrows in arrows in arrows☆121Updated 4 months ago
- Haskell library for parsing and evaluating typst☆60Updated 3 weeks ago
- A small, weird and unpractical programming language.☆103Updated last week
- Binary Lambda Calculus Virtual Machine☆55Updated last year
- A statically-typed, concatenative language for the Uxn VM with compiler-enforced stack safety.☆45Updated 3 weeks ago
- A functional scripting language.☆18Updated 5 months ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆62Updated 3 weeks ago
- Like APL, but with emojis☆15Updated 3 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆114Updated 2 weeks ago
- A formal consistency proof of Quine's set theory New Foundations☆72Updated last week
- A textbook for Conway's Game of Life.☆35Updated 3 years ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆80Updated 3 months ago
- koneko - a concatenative not-quite-lisp for kittens☆24Updated 9 months ago