Alternatives and similar repositories for birb

Users that are interested in birb are comparing it to the libraries listed below

• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆121Updated 2 weeks ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆16Updated last year
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆26Updated last month
• Omnikar / uiua-math
  Library of math functions for the Uiua programming language
  ☆29Updated 3 weeks ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated this week
• codereport / hoogle-translate
  ☆108Updated last month
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆25Updated last year
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆38Updated last month
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆153Updated 2 months ago
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆103Updated this week
• dmadisetti / sona.js
  a simple language with a 1000 character interpreter inspired by toki pona
  ☆82Updated 3 years ago
• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 10 months ago
• DolphyWind / Electra-Lang
  Electra is an esolang where you code like an electrician.
  ☆98Updated 6 months ago
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 8 months ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 4 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆147Updated 7 years ago
• otherjoel / tabloid
  📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
  ☆94Updated 4 years ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆32Updated 4 months ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated 2 years ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆64Updated 11 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 2 months ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆34Updated this week
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 5 years ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆65Updated last week
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆55Updated last year
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆56Updated 2 months ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• vmchale / apple
  Apple array system
  ☆67Updated 2 weeks ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆115Updated last week