Alternatives and similar repositories for shiro

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

• surprisetalk / smel
  ☆13Updated last month
• graydon / exhaustigen
  ☆11Updated 3 years ago
• dlaurie / lua-apl
  APL-like functions for use from Lua.
  ☆18Updated 10 years ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 6 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• toymachine / park-lang
  Park programming language
  ☆17Updated 4 years ago
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆21Updated 3 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 5 years ago
• slfritchie / wide-world-of-actors
  Wide World of Actors, or, Can I Have an Erlang Pony?
  ☆13Updated 7 years ago
• myter / CAPtain
  Integrating the CAP theorem into distributed language design.
  ☆13Updated 6 years ago
• jsl / ruby_ukanren
  A port of microKanren to Ruby
  ☆28Updated 10 years ago
• midas-framework / erlang_library_runtime
  A lightweight erlang runtime
  ☆21Updated 4 years ago
• simmsb / some-scheme-compiler
  A CPS transforming scheme compiler, Cheney on the MTA, etc
  ☆14Updated 4 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆35Updated 6 years ago
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆23Updated 5 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆19Updated 7 years ago
• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆15Updated this week
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆19Updated 6 years ago
• marcellerusu / peacock-lang
  A Fun Frontend Language
  ☆16Updated 2 years ago
• progranet / OMeta.Lua
  OMeta for Lua
  ☆13Updated 4 years ago
• donsbot / experiments-rust
  Working through the Rust book
  ☆13Updated 4 years ago
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 4 years ago
• ltratt / rustbfs
  Rust BF interpreters
  ☆12Updated last year
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆16Updated 3 weeks ago
• matze / tree-painter
  tree-sitter based syntax highlighting HTML rendering
  ☆18Updated 2 years ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆10Updated 5 years ago
• sile / beam_file
  A tiny library for processing Erlang BEAM file in Rust
  ☆21Updated last year