Alternatives and similar repositories for birb

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

• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆24Updated this week
• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 8 months ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆15Updated last year
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆111Updated 3 weeks ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 8 months ago
• dmadisetti / sona.js
  a simple language with a 1000 character interpreter inspired by toki pona
  ☆79Updated 3 years ago
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆25Updated 10 months ago
• DolphyWind / Electra-Lang
  Electra is an esolang where you code like an electrician.
  ☆97Updated 4 months ago
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆103Updated this week
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆25Updated last year
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆34Updated 2 months ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆31Updated 2 months ago
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 6 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆72Updated 3 weeks ago
• cole-k / call-by-push-block
  ⛳ Sokoban game in 10 lines of Haskell
  ☆26Updated 2 years ago
• uiua-lang / rayua
  Uiua bindings for Raylib
  ☆27Updated last week
• fir-lang / fir
  Fir programming language
  ☆64Updated this week
• bradrn / brassica
  A featureful sound change applier for language construction
  ☆36Updated 5 months ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 4 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated this week
• pimlu / fractran
  World's fastest FRACTRAN interpeter
  ☆14Updated 2 years ago
• Omnikar / uiua-math
  Library of math functions for the Uiua programming language
  ☆28Updated this week
• coetaur0 / nox
  The Nox programming language
  ☆30Updated last year
• codereport / hoogle-translate
  ☆100Updated last month
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆109Updated this week
• KislyjKisel / Raylib.lean
  Raylib bindings for Lean4
  ☆26Updated 2 months ago
• ehatti / LHL
  Linearizability Hoare Logic
  ☆14Updated 3 months ago
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆115Updated this week