Alternatives and similar repositories for rose

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

• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• digama0 / mm-lean4
  Lean 4 Metamath verifier
  ☆18Updated this week
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• lecopivo / HouLean
  Lean 4 as a scripting language in Houdini
  ☆20Updated last year
• herbie-fp / rival
  Interval arithmetic for real computation
  ☆22Updated last week
• riswords / quiche
  ☆22Updated 2 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 4 months ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆50Updated last month
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆35Updated last year
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• florence / diagrama
  A diagram drawing library for Racket
  ☆19Updated 4 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 12 years ago
• namin / blond
  the reflective tower Blond by Olivier Danvy & Karoline Malmkjær
  ☆16Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 2 months ago
• maxsnew / modal-scheme
  A Scheme-like CBPV language with Racket Interoperability
  ☆39Updated last year
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated last month
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated last year
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 3 weeks ago
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year
• vmchale / apple
  Apple array system
  ☆66Updated this week
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆24Updated last month
• harp-lab / slog-lang1
  Slog 1.0
  ☆42Updated 11 months ago
• luqui / Djest
  A programming language that deduces code from tests
  ☆30Updated 7 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆30Updated 2 weeks ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆36Updated 7 years ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago