rose-lang / rose

Related projects ⓘ

Alternatives and complementary repositories for rose

• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆32Updated 6 months ago
• verse-lab / ego
  EGraphs in OCaml
  ☆60Updated 10 months ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 12 years ago
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year
• jkoppel / ecta
  ☆33Updated 7 months ago
• lecopivo / HouLean
  Lean 4 as a scripting language in Houdini
  ☆15Updated 8 months ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated last week
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated last year
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆46Updated 10 years ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆51Updated last week
• florence / diagrama
  A diagram drawing library for Racket
  ☆18Updated 3 years ago
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆14Updated 4 months ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• cucapra / lambdalab
  interactive λ-calculus for learning
  ☆35Updated 5 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 2 years ago
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated last year
• JohnReppy / sml-lsp-kit
  Standard ML Infrastructure for writing LSP servers
  ☆11Updated last month
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated last year
• racket / parser-tools
  ☆11Updated 2 weeks ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆52Updated this week
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 4 years ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 years ago
• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆38Updated last year
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆20Updated last week
• Trebor-Huang / vscode-forester
  VSCode support for Forester
  ☆18Updated 5 months ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• ralsei / six-eyes
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Updated 2 years ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago