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"
  ☆31Updated last year
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆23Updated 4 months ago
• lecopivo / HouLean
  Lean 4 as a scripting language in Houdini
  ☆20Updated last year
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆42Updated last month
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated last year
• punkdit / huygens
  ☆10Updated last month
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆30Updated 3 years ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆54Updated this week
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆59Updated 9 months ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 2 months ago
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 12 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆67Updated last month
• herbie-fp / rival
  Interval arithmetic for real computation
  ☆21Updated this week
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated last month
• ralsei / six-eyes
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Updated 2 years ago
• riswords / quiche
  ☆21Updated 2 years ago
• jkoppel / ecta
  ☆34Updated 11 months ago
• MatthewFluet / smelt
  Forging Standard ML (SML) in emacs
  ☆10Updated 2 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 5 years ago
• siraben / coq-wigderson
  Formalization of Wigderson's graph coloring algorithm in Coq
  ☆9Updated last year
• liam923 / remora
  A dependently-typed, array-polymorphic language that runs on parallel architectures
  ☆18Updated 6 months ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 2 years ago
• AD1024 / dtlc
  Dependently typed lambda calculus - A Simple Proof Assistant
  ☆12Updated 4 years ago