larrytheliquid / dtgp
Dependently Typed Genetic Programming
☆22Updated 13 years ago
Alternatives and similar repositories for dtgp:
Users that are interested in dtgp are comparing it to the libraries listed below
- ☆12Updated 4 years ago
- Functional reactive programming in OCaml☆66Updated 14 years ago
- The BitC Programming Language (unofficial, unaffiliated mirror)☆25Updated 12 years ago
- Probabilistic miniKanren☆61Updated 9 years ago
- ☆11Updated 4 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆128Updated this week
- silly-k is an experimental language inspired by K and APL☆15Updated 4 months ago
- A template for structuring your Carp packages☆17Updated 4 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- debugging biological networks to reach coherence, completeness and consistency☆46Updated last year
- The propagator system☆41Updated 9 years ago
- A collection of code related to the HANSEI language☆9Updated 8 years ago
- Synchronize directory hierarchies using Hash-Tree's☆22Updated 4 years ago
- Arrayfire bindings for J language☆12Updated 7 years ago
- An R6RS framework for creating compilers that target C.☆113Updated 9 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- Pinocchio VM☆20Updated 4 years ago
- Ada 2012 binding to Vulkan☆17Updated 8 years ago
- A logic programming library for Common Lisp.☆60Updated 4 years ago
- A Lisp syntax for Haskell.☆22Updated 12 years ago
- Quick and dirty syntax coloring for opencl kernels☆11Updated 5 months ago
- ☆31Updated 10 years ago
- cuda-mode for Emacs.☆26Updated 6 months ago
- A DSL for runtime code generation in racket☆67Updated 2 years ago
- Pocket sized programs☆55Updated last month
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- experimental computational medium and supporting tools☆22Updated last week
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- Persistent, fast mmap'd database for Common Lisp using MOP; includes its own GC systems☆62Updated 15 years ago