Alternatives and similar repositories for birdy:

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

• ooc-lang / sam
  sam keeps your ooc repos up-to-date
  ☆14Updated 8 years ago
• hikari-no-yume / Firth
  Firth is a functional, strongly dynamically-typed, concatenative stack-oriented programming language.
  ☆29Updated 9 years ago
• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated last year
• wyc / snippets
  ☆52Updated 7 years ago
• lycus / flect
  A pragmatic, functional systems programming language.
  ☆43Updated 9 years ago
• the-little-prover / the-little-prover.github.io
  ☆9Updated 8 years ago
• C4Cypher / Apollo-lander
  Lua implemented in Mercury
  ☆13Updated 10 months ago
• texodus / forml
  A programming language
  ☆77Updated 11 years ago
• boostpro / emacs-llvm-jit
  Fork of Emacs 24.1 that replaces the byte-code interpreter with the LLVM JIT
  ☆25Updated 12 years ago
• ocaml / ocaml-manual
  OBSOLETE, ARCHIVED mirror of the OCaml manual
  ☆15Updated last year
• juliensf / mercury-csv
  A Mercury CSV library.
  ☆11Updated 11 months ago
• AngryLawyer / rust-apl
  Experimental APL interpreter in Rust
  ☆15Updated 11 years ago
• tonyg / marketplace
  Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014
  ☆73Updated 3 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• jeapostrophe / zeromq
  FFI to zeromq
  ☆12Updated 2 months ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• lokedhs / android-gnu-apl
  GNU APL port to Android
  ☆16Updated 10 years ago
• wingo / bicho
  Scheme implementation suitable for microcontrollers
  ☆8Updated 9 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 6 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago
• sschauss / wracket
  Lisp-like language to WebAssembly build with racket
  ☆22Updated 7 years ago
• sacado / arc2c
  Arc Lisp to C compiler
  ☆32Updated 16 years ago
• tazjin / elm-yesod
  elm-yesod contains the Language.Elm.Yesod module for embedding Elm code in Yesod applications.
  ☆15Updated 11 years ago
• pharo-project / pharo-core
  pharo-core git mirror
  ☆93Updated 7 years ago