rose-lang / roseLinks
Composable autodiff for the interactive web.
☆27Updated last year
Alternatives and similar repositories for rose
Users that are interested in rose are comparing it to the libraries listed below
Sorting:
- Accompanying materials for "A Core Calculus for Documents"☆34Updated 2 years ago
- ☆56Updated 6 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated this week
- A metalanguage for creating sophisticated DSLs in Racket.☆37Updated last week
- Course on Metaprogramming☆72Updated 3 months ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆128Updated last year
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆117Updated last week
- A ML-like pure functional language that can be used as a template for creating your own language☆29Updated 9 months ago
- ☆137Updated 3 years ago
- Racket to WebAssembly Compiler☆37Updated 9 months ago
- Collapsing Towers of Interpreters☆91Updated 4 months ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆136Updated 4 months ago
- A DSL for runtime code generation in racket☆67Updated 3 years ago
- SKI combinators☆55Updated 8 years ago
- Mystery Languages☆41Updated 2 years ago
- A custom parser/auto-formatter for Standard ML☆83Updated 2 months ago
- A template for you to implement Hazelnut yourself☆22Updated 3 months ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆45Updated 7 years ago
- A Scala-style magic function application form☆43Updated 3 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆77Updated 8 years ago
- The Functional Virtual Machine.☆14Updated 10 months ago
- An embeddable flow-oriented language.☆71Updated last month
- EGraphs in OCaml☆75Updated last year
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆60Updated 4 months ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆84Updated 4 years ago
- Slog 1.0☆45Updated last year
- Prolog-Style Meta-Interpreters in miniKanren☆33Updated 7 months ago
- ☆86Updated 4 years ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago