larrytheliquid / dtgp
Dependently Typed Genetic Programming
☆22Updated 13 years ago
Related projects ⓘ
Alternatives and complementary repositories for dtgp
- ☆12Updated 3 years ago
- The BitC Programming Language (unofficial, unaffiliated mirror)☆25Updated 12 years ago
- Probabilistic miniKanren☆62Updated 9 years ago
- ☆11Updated 4 years ago
- staged relational interpreters: running with holes, faster☆125Updated last week
- silly-k is an experimental language inspired by K and APL☆15Updated 3 weeks ago
- A template for structuring your Carp packages☆17Updated 4 years ago
- debugging biological networks to reach coherence, completeness and consistency☆43Updated 9 months ago
- cuda-mode for Emacs.☆25Updated 3 months ago
- ☆44Updated 3 years ago
- Pinocchio VM☆20Updated 4 years ago
- A collection of code related to the HANSEI language☆9Updated 8 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Quick and dirty syntax coloring for opencl kernels☆11Updated 2 months ago
- The propagator system☆41Updated 8 years ago
- Algebraic Effect Handlers for Clojure☆45Updated 11 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- LIL: abstract interfaces and supporting concrete data-structures in Common Lisp☆145Updated last year
- A logic programming library for Common Lisp.☆58Updated 3 years ago
- Tiny, concurrent sampling profiler for Clozure Common Lisp.☆15Updated 8 years ago
- Ada 2012 binding to Vulkan☆16Updated 8 years ago
- 80% xectors☆42Updated 2 years ago
- Meta-Interpreters in miniKanren☆31Updated last year
- An object-oriented dialect of Scheme☆59Updated 2 years ago
- A DSL for runtime code generation in racket☆66Updated 2 years ago
- A Common Lisp library for solving linear programming problems☆109Updated 11 months ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- Common Lisp symbols separated into packages according to their purity☆33Updated 7 years ago