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
• herbie-fp / rival
  Interval arithmetic for real computation
  ☆23Updated last month
• digama0 / mm-lean4
  Lean 4 Metamath verifier
  ☆18Updated last week
• lecopivo / HouLean
  Lean 4 as a scripting language in Houdini
  ☆20Updated last year
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Updated 5 months ago
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated last year
• madvorak / read-lean
  How to read Lean
  ☆17Updated 4 months ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated this week
• jonsterling / math
  A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
  ☆52Updated 2 years ago
• rzrn / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated 11 months ago
• jkoppel / ecta
  ☆35Updated last year
• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆39Updated last year
• maxsnew / modal-scheme
  A Scheme-like CBPV language with Racket Interoperability
  ☆39Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 3 months ago
• dselsam / tc
  Reference type checker for the Lean theorem prover
  ☆16Updated 7 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆24Updated last month
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆52Updated 2 months ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• sweirich / graded-haskell
  Graded Dependent Type systems
  ☆24Updated last year
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 12 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 8 months ago
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 8 months ago
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• florence / diagrama
  A diagram drawing library for Racket
  ☆19Updated 4 years ago
• isadofschi / combinatorial_nullstellensatz
  A Lean formal proof of the Combinatorial Nullstellensatz
  ☆11Updated 2 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated last month
• riswords / quiche
  ☆22Updated 2 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago