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
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆52Updated 3 weeks ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 6 months ago
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 5 months ago
• herbie-fp / rival
  Interval arithmetic for real computation
  ☆23Updated last week
• madvorak / read-lean
  How to read Lean
  ☆17Updated 5 months ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆52Updated last week
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 2 months ago
• luqui / Djest
  A programming language that deduces code from tests
  ☆30Updated 7 years ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆85Updated 4 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 3 years ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆54Updated last month
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆38Updated last year
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated 3 weeks ago
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated 2 years ago
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 5 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆20Updated 9 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated 2 weeks ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆26Updated 3 months ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆78Updated 2 months ago
• jkoppel / ecta
  ☆35Updated last year
• florence / diagrama
  A diagram drawing library for Racket
  ☆19Updated 4 years ago
• xieyuheng / inner
  Ones Inner Universe.
  ☆5Updated this week
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• liam923 / remora
  A dependently-typed, array-polymorphic language that runs on parallel architectures
  ☆24Updated 10 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆115Updated this week