calvis / kraken
Prototype of a new constraint-logic programming language in Racket
☆28Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for kraken
- Shen KLambda to KLVM translator.☆29Updated 8 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Updated 4 years ago
- Alice ML implementation☆17Updated last year
- Frege Interpreter☆15Updated 4 years ago
- parsley is dead, long live parsnip!☆17Updated 10 years ago
- An implementation of microKanren in Shen☆9Updated 9 years ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Java implementation of the FSet functional collections library.☆10Updated 8 years ago
- A protocol based monad implementation for clojure☆62Updated 10 years ago
- A POC implementation of muKanren using CSP (core.async)☆31Updated 10 years ago
- ☆11Updated 2 weeks ago
- Simple TODO web-app using Vert.x as server☆16Updated 7 years ago
- clojure source code as EDN data☆26Updated 11 years ago
- The metacircular evaluator(ish)☆16Updated 9 years ago
- Yes, really!☆11Updated 9 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated 8 months ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- Write type-safe shell scripts in Haskell☆14Updated 4 years ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆15Updated 4 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆29Updated 10 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Updated 11 years ago
- Category theory in Coq, by Jason Gross☆12Updated 9 years ago
- Aurinko - a document database engine implementation in Clojure☆58Updated 12 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 3 years ago
- Gambit Scheme library to interface to Python☆9Updated 6 months ago
- A redis client for Racket.☆17Updated 9 years ago
- ☆34Updated 5 years ago
- An implementation of Racket's Scribble in Clojure☆22Updated 11 years ago