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"
  ☆36Updated 2 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆74Updated last month
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆40Updated last year
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆139Updated 2 months ago
• mthom / scryer-shen
  ☆58Updated 8 months ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆68Updated 3 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• mflatt / zuo
  ☆41Updated 8 months ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆39Updated 3 months ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆121Updated last month
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 5 years ago
• stchang / macrotypes
  ☆138Updated 3 years ago
• samth / fancy-app
  A Scala-style magic function application form
  ☆43Updated 3 years ago
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆167Updated last year
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆93Updated 7 months ago
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆124Updated 2 weeks ago
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆60Updated last year
• namin / metaprogramming
  Course on Metaprogramming
  ☆75Updated this week
• harp-lab / slog-lang1
  Slog 1.0
  ☆46Updated last year
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 9 months ago
• florence / diagrama
  A diagram drawing library for Racket
  ☆20Updated 5 years ago
• vmchale / apple
  Apple array system
  ☆69Updated last month
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 8 months ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆28Updated 2 years ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 4 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆95Updated this week
• dsagman / picat
  Learning Constraint Programming with Picat
  ☆54Updated 3 months ago
• herbie-fp / rival
  Interval arithmetic for real computation
  ☆25Updated this week