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 3 years ago
- Probabilistic miniKanren☆62Updated 9 years ago
- The BitC Programming Language (unofficial, unaffiliated mirror)☆25Updated 12 years ago
- ☆11Updated 4 years ago
- Functional reactive programming in OCaml☆66Updated 14 years ago
- staged relational interpreters: running with holes, faster☆127Updated 2 months ago
- A template for structuring your Carp packages☆17Updated 4 years ago
- Pinocchio VM☆20Updated 4 years ago
- A collection of code related to the HANSEI language☆9Updated 8 years ago
- Several graph algorithms in Common Lisp.☆8Updated 4 years ago
- Bindings for llvm in racket☆65Updated 9 years ago
- silly-k is an experimental language inspired by K and APL☆15Updated 3 months ago
- the Art of the Propagator☆51Updated 12 years ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- Quick and dirty syntax coloring for opencl kernels☆11Updated 4 months ago
- An object-oriented dialect of Scheme☆59Updated 2 years ago
- LIL: abstract interfaces and supporting concrete data-structures in Common Lisp☆145Updated last year
- The propagator system☆41Updated 9 years ago
- A Lisp syntax for Haskell.☆22Updated 12 years ago
- Synchronize directory hierarchies using Hash-Tree's☆22Updated 4 years ago
- Prolog Projects (Artificial Intelligence, Encryption)☆7Updated 9 years ago
- Algebraic Effect Handlers for Clojure☆45Updated 11 years ago
- ☆31Updated 10 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Pocket sized programs☆55Updated this week
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Ada 2012 binding to Vulkan☆17Updated 8 years ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- An R6RS framework for creating compilers that target C.☆113Updated 9 years ago
- Cleven is an experimental game engine with volume graphics written in Common Lisp.☆45Updated 8 years ago