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
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆37Updated 7 months ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated last month
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆56Updated 3 weeks ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 4 months ago
• mthom / scryer-shen
  ☆56Updated 3 months ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 7 months ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆72Updated 2 weeks ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆72Updated 2 months ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆135Updated 2 months ago
• vmchale / apple
  Apple array system
  ☆67Updated 3 weeks ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆18Updated 5 years ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆115Updated 2 weeks ago
• mflatt / zuo
  ☆41Updated 2 months ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated 2 months ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 3 years ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆28Updated 2 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 years ago
• namin / metamk
  Prolog-Style Meta-Interpreters in miniKanren
  ☆33Updated 5 months ago
• SaberVM / FVM
  The Functional Virtual Machine.
  ☆13Updated 8 months ago
• mflatt / gc-demo
  ☆87Updated 4 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 13 years ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• samth / fancy-app
  A Scala-style magic function application form
  ☆43Updated 3 years ago
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆59Updated last year
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆158Updated 7 months ago
• JoeyEremondi / pl-lt-rules
  Rules for writing academic papers and checking them using LTex-ls and LanguageTool
  ☆19Updated 6 months ago