aptmcl / rosettaLinks
The Generative Design Tool
☆21Updated 3 years ago
Alternatives and similar repositories for rosetta
Users that are interested in rosetta are comparing it to the libraries listed below
Sorting:
- A prototype of soft contract verification for an untyped functional language☆35Updated 4 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆21Updated last year
- Probabilistic Programming☆44Updated 3 months ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Updated 4 years ago
- ☆39Updated this week
- Binaryen bindings for Racket☆11Updated 4 years ago
- A collection of formulas needed for everyday calculations in geometric algebra and calculus☆19Updated 8 years ago
- minimal miniKanren implementation in Julia☆23Updated 8 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 13 years ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Updated 4 months ago
- A graphical editor for graph-like structures☆103Updated 2 years ago
- Racket bindings for Z3☆20Updated 13 years ago
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆18Updated 9 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- A collection of Kanren implementations in Julia☆24Updated 3 months ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Updated 10 months ago
- Julia embedded in Haskell☆52Updated last year
- A Gradual Dependently-typed Language☆14Updated 6 years ago
- The best experimental economics software built in Racket☆29Updated last week
- Object Algebra Composition☆24Updated 12 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆39Updated 3 months ago
- Racket libraries for scientific computing☆18Updated 11 months ago
- A port of sweet expressions to Racket☆49Updated 2 years ago
- A system for computational category theory and applications☆40Updated 9 years ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…☆16Updated 11 years ago
- ☆71Updated 5 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆129Updated 2 months ago