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:
- File format and optimizer for programs encoded in binary lambda calculus☆13Updated last year
- Programming with pure lambda calculus☆107Updated last month
- The glitch-soc/Mastodon fork running on types.pl☆23Updated 2 months ago
- Inline Haskell inside your Python code☆25Updated 6 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 7 months ago
- The first ever roguelike written in the OCaml type system☆87Updated 2 months ago
- A formal consistency proof of Quine's set theory New Foundations☆70Updated last week
- An implementation of interaction nets as a forth-like language.☆33Updated 3 weeks ago
- Fir programming language☆53Updated this week
- An esoteric programming language, using box-drawing characters☆29Updated 3 months ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆113Updated 2 weeks ago
- The Nox programming language☆29Updated last year
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆51Updated 3 months ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆105Updated this week
- Raylib bindings for Lean4☆26Updated last month
- Like APL, but with emojis☆15Updated 3 years ago
- A tiny lazy objective functional language☆17Updated 8 months ago
- A SKI combinators interpreter written in assembly☆19Updated 4 years ago
- Uiua bindings for Raylib☆26Updated this week
- ☆16Updated 3 years ago
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.☆39Updated 2 years ago
- build-once run-anywhere OCaml programs☆137Updated 6 months ago
- a simple language with a 1000 character interpreter inspired by toki pona☆79Updated 3 years ago
- koneko - a concatenative not-quite-lisp for kittens☆24Updated 9 months ago
- An Activitypub server in OCaml!☆67Updated 2 years ago
- ☆53Updated this week
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆53Updated this week
- A statically-typed, concatenative language for the Uxn VM with compiler-enforced stack safety.☆43Updated this week
- Apple array system☆66Updated 3 weeks ago