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
  ☆140Updated last month
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 3 months ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆17Updated 2 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆26Updated this week
• Omnikar / uiua-math
  Library of math functions for the Uiua programming language
  ☆31Updated 2 weeks ago
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆102Updated this week
• shadyfennec / baugelang
  An esoteric programming language, using box-drawing characters
  ☆29Updated 11 months ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 4 years ago
• fir-lang / fir
  Fir programming language
  ☆91Updated this week
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• DolphyWind / Electra-Lang
  Electra is an esolang where you code like an electrician.
  ☆99Updated 2 months ago
• SrGaabriel / soma
  ⚗️ | λC pure functional language with deterministic, GC-free memory via Interaction Nets and automatic parallelism.
  ☆61Updated this week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆79Updated 7 months ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆25Updated last year
• codereport / hoogle-translate
  ☆123Updated 3 weeks ago
• otherjoel / tabloid
  📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
  ☆95Updated 4 years ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆58Updated 2 years ago
• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 2 weeks ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆44Updated 2 months ago
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆124Updated this week
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆35Updated 3 months ago
• dmadisetti / sona.js
  a simple language with a 1000 character interpreter inspired by toki pona
  ☆82Updated 4 years ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆56Updated 2 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆35Updated 6 months ago
• joshmoody24 / skoobert
  A lazy subset of JavaScript
  ☆30Updated this week
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆41Updated last week
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆26Updated 3 weeks ago
• mlochbaum / Singeli
  High-level interface for low-level programming
  ☆123Updated 2 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆121Updated 3 weeks ago