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 graphical editor for graph-like structures☆104Updated 2 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 13 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆21Updated last year
- A collection of Kanren implementations in Julia☆24Updated 3 months ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Updated 4 years ago
- Resources for making sense of topology and its concepts☆18Updated 5 years ago
- Binaryen bindings for Racket☆11Updated 4 years ago
- Racket bindings for Z3☆20Updated 13 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Updated 10 months ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 13 years ago
- A prototype of soft contract verification for an untyped functional language☆35Updated 4 years ago
- CLP(SMT) on top of miniKanren☆39Updated 3 years ago
- ☆39Updated last week
- Cur dependently-typed language in miniKanren.☆17Updated 8 years ago
- A Scala-style magic function application form☆43Updated 3 years ago
- Object Algebra Composition☆24Updated 12 years ago
- Normalization-by-evaluation in miniKanren☆25Updated 2 years ago
- Julia embedded in Haskell☆52Updated last year
- minimal miniKanren implementation in Julia☆23Updated 8 years ago
- A Gradual Dependently-typed Language☆14Updated 6 years ago
- Probabilistic Programming☆44Updated 3 months ago
- Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Int…☆15Updated 11 months ago
- miniKanren for search, SMT for solving☆13Updated 6 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Updated 2 weeks ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Updated last year
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 12 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆63Updated 7 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- ☆71Updated 5 years ago