Alternatives and similar repositories for shiro:

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

• graydon / exhaustigen
  ☆11Updated 3 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• GrayJack / tree-sitter-janet
  A tree-sitter grammar parser for Janet
  ☆16Updated 2 years ago
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆15Updated last year
• amyjko / citrus-barista
  A programming language and user interface toolkit for creating structured editors.
  ☆19Updated 5 months ago
• simmsb / some-scheme-compiler
  A CPS transforming scheme compiler, Cheney on the MTA, etc
  ☆14Updated 4 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated 2 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆12Updated 6 years ago
• Qqwy / Jux
  ☆14Updated 4 years ago
• uprun / lisperanto
  Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;
  ☆42Updated 2 years ago
• moss-lang / moss
  A programming language.
  ☆12Updated 2 years ago
• SOM-st / som-java
  SOM - Simple Object Machine (plain Java implementation)
  ☆19Updated last month
• justinpombrio / synless
  Synless is a language-agnostic tree editor.
  ☆21Updated 2 months ago
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 4 years ago
• tide-framework / tide
  The missing web framework for Pharo and Amber
  ☆46Updated 10 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• peterhorne / rrb-tree
  Typescript implementation of Relaxed Radix Balanced Trees
  ☆16Updated 6 months ago
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• EiichiroIto / Gratch
  Block-style programming environment for tackling graph structure and graph algorithm, based on MIT Scratch.
  ☆18Updated 2 months ago
• coil-language / coil-lang
  The Coil Programming Language
  ☆34Updated last year
• toymachine / park-lang
  Park programming language
  ☆18Updated 3 years ago
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 5 years ago