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
  ☆105Updated last week
• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 5 months ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆13Updated last year
• codereport / hoogle-translate
  ☆85Updated this week
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 6 months ago
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆103Updated this week
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last month
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆22Updated last month
• Omnikar / uiua-math
  Library of math functions for the Uiua programming language
  ☆24Updated this week
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 4 months ago
• fir-lang / fir
  ☆40Updated this week
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 3 months ago
• mpatajac / jillc
  Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
  ☆80Updated last month
• sampersand / squire
  The medieval language held together by twine.
  ☆60Updated 4 months ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆54Updated this week
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆31Updated this week
• DolphyWind / Electra-Lang
  Electra is an esolang where you code like an electrician.
  ☆97Updated last month
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆69Updated 2 weeks ago
• Ericson2314 / baccumulation
  ☆44Updated 2 months ago
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• otherjoel / tabloid
  📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
  ☆93Updated 4 years ago
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆16Updated last year
• uiua-lang / rayua
  Uiua bindings for Raylib
  ☆22Updated last month
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆131Updated 2 weeks ago
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆23Updated 7 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆113Updated this week
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• vmchale / pybqn
  BQN↔NumPy bridge
  ☆20Updated last month
• dmadisetti / sona.js
  a simple language with a 1000 character interpreter inspired by toki pona
  ☆79Updated 3 years ago
• ret2pop / stem
  A minimal stack based programming language
  ☆32Updated 11 months ago