winitzki / CocoaJoin
Implementation of join calculus in Objective-C for iOS
☆11Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for CocoaJoin
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆59Updated 7 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 8 years ago
- purple: compiling a reflective language☆29Updated last month
- ☆43Updated 2 weeks ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- microKanren sagittarius/larceny☆11Updated 9 years ago
- Lua/Terra + Java Native Interface☆21Updated 7 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆11Updated 9 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 9 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 7 years ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- Kanren with databases☆43Updated 3 months ago
- Private extraction of astrada's lens library☆66Updated 3 years ago
- A Starter Template for SWI-Prolog Projects☆10Updated 4 years ago
- A logic programming library for F#☆45Updated 9 years ago
- ☆71Updated 4 years ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆19Updated 3 weeks ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 9 years ago
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- AIFAD - Automated Induction of Functions over Algebraic Data Types☆30Updated 2 weeks ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆26Updated 6 years ago
- a minimal implementation of incremental computation in Scheme☆35Updated 7 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 5 years ago
- MERGED to LFE - Clojure-inspired macros and functions for use in LFE☆28Updated 8 years ago
- Shen for the Common Language Runtime☆33Updated 3 weeks ago
- Project files for my paper, "Little Logic Languages for Relational Programming"☆12Updated 4 years ago
- Implementations of µKanren in assorted languages☆61Updated 8 years ago
- Shen on javascript.☆68Updated 6 years ago
- Prolog implementation of microKanren☆41Updated 9 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 9 years ago