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
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 12 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated this week
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• florence / diagrama
  A diagram drawing library for Racket
  ☆19Updated 4 years ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 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
• lecopivo / HouLean
  Lean 4 as a scripting language in Houdini
  ☆20Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 4 months ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆31Updated last week
• koka-lang / AddressC
  ☆12Updated last month
• 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 4 months ago
• jkoppel / ecta
  ☆35Updated last year
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated 2 years ago
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year
• herbie-fp / rival
  Interval arithmetic for real computation
  ☆23Updated last month
• isadofschi / combinatorial_nullstellensatz
  A Lean formal proof of the Combinatorial Nullstellensatz
  ☆11Updated 2 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 10 months ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 4 months ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 5 years ago
• riswords / quiche
  ☆22Updated 2 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 3 weeks ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆72Updated 8 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated last month
• cucapra / gator
  Geometry types
  ☆30Updated 4 years ago