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:
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 13 years ago
- ☆39Updated 2 weeks ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆21Updated last year
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 8 years ago
- A port of sweet expressions to Racket☆48Updated 2 years ago
- A prototype of soft contract verification for an untyped functional language☆35Updated 4 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆65Updated 3 years ago
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆17Updated 8 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Updated 6 months ago
- A Scala-style magic function application form☆43Updated 3 years ago
- Binaryen bindings for Racket☆11Updated 3 years ago
- Racket bindings for Poppler (library for reading and generating pdfs)☆24Updated last year
- Relational Programming in miniKanren☆52Updated 10 years ago
- ☆43Updated last month
- Racket-based implementation of Adapton☆22Updated 6 years ago
- Probabilistic Programming☆42Updated last week
- A collection of formulas needed for everyday calculations in geometric algebra and calculus☆19Updated 8 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- A Racket Meta-Program Generator☆17Updated 5 years ago
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- Summer Scheming!!!!!!☆11Updated 5 years ago
- Decentralized Software Organisms☆18Updated 3 years ago
- (in progress) Racket port of the SICM scmutils library☆35Updated 5 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
- CLP(SMT) on top of miniKanren☆38Updated 3 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆33Updated last week
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Updated last week
- miniKanren for search, SMT for solving☆13Updated 5 years ago