winitzki / CocoaJoin
Implementation of join calculus in Objective-C for iOS
☆11Updated 7 years ago
Alternatives and similar repositories for CocoaJoin:
Users that are interested in CocoaJoin are comparing it to the libraries listed below
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆59Updated 7 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- purple: compiling a reflective language☆32Updated 6 months ago
- ☆46Updated last month
- yet another monad lib for clojure☆94Updated 7 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆27Updated 6 years ago
- The propagator system☆41Updated 9 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.☆27Updated 4 years ago
- Support Frege compiler via leiningen☆33Updated 8 years ago
- microKanren sagittarius/larceny☆11Updated 9 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- A POC implementation of muKanren using CSP (core.async)☆31Updated 10 years ago
- Port of the Shen programming language to the Graal runtime☆26Updated 7 years ago
- ☆71Updated 4 years ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- Kanren with databases☆43Updated 8 months ago
- a minimal implementation of incremental computation in Scheme☆34Updated 7 years ago
- Simply Reactive! Declarative orchestration in Haskell using RDP☆272Updated 11 years ago
- Implementations of µKanren in assorted languages☆63Updated 8 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- ☆12Updated 9 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆16Updated 5 years ago
- microkanren in sml☆26Updated 10 years ago