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☆61Updated 9 years ago
- Functional reactive programming in OCaml☆66Updated 14 years ago
- ☆11Updated 4 years ago
- staged relational interpreters: running with holes, faster☆125Updated this week
- Synchronize directory hierarchies using Hash-Tree's☆22Updated 3 years ago
- silly-k is an experimental language inspired by K and APL☆15Updated 2 weeks ago
- A collection of code related to the HANSEI language☆9Updated 8 years ago
- The propagator system☆41Updated 8 years ago
- A template for structuring your Carp packages☆17Updated 4 years ago
- Pinocchio VM☆20Updated 4 years ago
- cuda-mode for Emacs.☆25Updated 2 months ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- debugging biological networks to reach coherence, completeness and consistency☆43Updated 8 months ago
- Quick and dirty syntax coloring for opencl kernels☆11Updated last month
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- A logic programming library for Common Lisp.☆58Updated 3 years ago
- A Common Lisp library for solving linear programming problems☆108Updated 11 months ago
- ☆31Updated 9 years ago
- ☆18Updated last year
- Relational Programming in miniKanren☆52Updated 9 years ago
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆100Updated 3 years ago
- ☆44Updated 3 years ago
- Persistent, fast mmap'd database for Common Lisp using MOP; includes its own GC systems☆62Updated 15 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 9 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- Several graph algorithms in Common Lisp.☆8Updated 4 years ago
- Quark, A Functional, Purely Homoiconic, Concatenative Language☆24Updated 8 years ago