adkelley / prolog-starter
A Starter Template for SWI-Prolog Projects
☆10Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for prolog-starter
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated last year
- Concurrent and distributed Prolog via join patterns (join calculus)☆11Updated 9 years ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- An implementation of µKanren in Lisp Flavored Erlang.☆18Updated 9 years ago
- MERGED to LFE - Clojure-inspired macros and functions for use in LFE☆28Updated 8 years ago
- Implementation of join calculus in Objective-C for iOS☆11Updated 7 years ago
- Hash Array Mapped Tries for Racket☆20Updated 7 years ago
- Erlang to Scheme compiler☆36Updated 12 years ago
- Private extraction of astrada's lens library☆66Updated 3 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 8 years ago
- A Purescript implementation of Elm's `core` library☆29Updated 6 years ago
- μKanren in Elm☆42Updated 7 years ago
- ☆43Updated 2 weeks ago
- Using QuickCheck to test functions in other languages/environments.☆32Updated 9 years ago
- Library for parsing, transforming and producing PDF files☆24Updated 13 years ago
- Haskell subset compiled to the Beam machine.☆41Updated 10 years ago
- Clojure's Transducers in Haskell☆40Updated 8 years ago
- Yes, really!☆11Updated 9 years ago
- Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape☆23Updated 2 years ago
- Node callbacks as thunks☆20Updated 9 years ago
- Bringing Prolog to the masses.☆35Updated 2 years ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- Functional interfaces and datatypes for Racket☆42Updated 3 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 9 years ago
- SML On Stilts☆37Updated 10 years ago
- An example Sinatra project using Nix to configure the development environment☆14Updated 7 years ago
- Markup Language Expressions for LFE☆35Updated last year
- Kanren with databases☆43Updated 3 months ago
- Geneva: portable document preparation system☆9Updated 8 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 8 years ago