rose-lang / roseLinks
Composable autodiff for the interactive web.
☆29Updated 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"☆36Updated 2 years ago
- Slog 1.0☆46Updated last year
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆121Updated this week
- ☆56Updated 8 months ago
- The Next Generation of Compositional Programming☆56Updated 2 weeks 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
- Bologna Optimal Higher-Order Machine, Version 1.1☆83Updated 8 years ago
- Course on Metaprogramming☆74Updated 6 months ago
- EGraphs in OCaml☆78Updated last year
- Collapsing Towers of Interpreters☆93Updated 6 months ago
- A DSL for runtime code generation in racket☆68Updated 3 years ago
- CLP(SMT) on top of miniKanren☆38Updated 3 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Updated 5 years ago
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- ☆37Updated last year
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆24Updated last year
- Apple array system☆68Updated last week
- Mystery Languages☆41Updated 2 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆130Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆66Updated last month
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- An embeddable flow-oriented language.☆74Updated 3 weeks ago
- A metalanguage for creating sophisticated DSLs in Racket.☆39Updated 2 months ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆121Updated last week
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 2 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆138Updated last month
- Reversible programming in Agda☆13Updated 2 years ago
- Demo for dependent types + runtime code generation☆72Updated 10 months ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆32Updated 2 years ago
- ☆57Updated 7 months ago