Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
☆28Oct 6, 2018Updated 7 years ago
Alternatives and similar repositories for wam
Users that are interested in wam are comparing it to the libraries listed below
Sorting:
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 10 years ago
- Optional types for Prolog☆11Aug 14, 2018Updated 7 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Mar 24, 2019Updated 6 years ago
- Demo SWI-Prolog HTTP based chat server☆19Nov 2, 2016Updated 9 years ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆29Aug 21, 2017Updated 8 years ago
- Middleman task for boot☆20Jul 21, 2020Updated 5 years ago
- Prolog binding for terminusdb-store☆22Jun 13, 2022Updated 3 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- Clojure bindings for CozoDb☆26Sep 16, 2023Updated 2 years ago
- OAuth 2.0 and OIDC Facilities for Pedestal web applications☆10Jan 24, 2024Updated 2 years ago
- SWI-Prolog OpenAPI (Swagger) support☆10Sep 30, 2024Updated last year
- An ansible module for interacting with the Nix package manager☆10Jan 4, 2017Updated 9 years ago
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 4 years ago
- emacs for data☆12Aug 1, 2018Updated 7 years ago
- Prolog stuff☆27Sep 1, 2019Updated 6 years ago
- Sketching use of clojure socket server for tooling use☆30Apr 6, 2016Updated 9 years ago
- English phonetics and syllabification library in Clojure.☆14Jun 26, 2021Updated 4 years ago
- Additions to Liquid for mindmapping, interactions with documents, syntax highlight extensions, slideshows, ...☆15Jun 27, 2019Updated 6 years ago
- ☆15May 28, 2016Updated 9 years ago
- A tool for drawing derivation trees of Tau Prolog☆11Feb 23, 2022Updated 4 years ago
- Shows you how you can (hackily) use CommonJS-based libraries in Clojurescript☆11Sep 20, 2015Updated 10 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 5 years ago
- TTL Writing Library☆14Feb 23, 2026Updated last week
- Our Ludum Dare entry☆20Feb 19, 2017Updated 9 years ago
- A Clojure library designed to compress/decompress data.☆13Feb 4, 2020Updated 6 years ago
- An idiomatic Clojure wrapper for Google Closure templates.☆28Mar 2, 2017Updated 9 years ago
- Vendor prefixes for React inline styles with ClojureScript.☆13Aug 9, 2021Updated 4 years ago
- A tool for reading and writing org content via clojure☆14Feb 1, 2025Updated last year
- A Prolog engine written in Solidity.☆16Feb 19, 2022Updated 4 years ago
- A simple Clojure (JVM) library for doing health checks over a given duration.☆13Sep 18, 2022Updated 3 years ago
- Generalized IO interface that uses urls and makes doing rapid research easier☆15Jan 30, 2026Updated last month
- Demo of localisation with Om Next and DataScript☆31Feb 13, 2016Updated 10 years ago
- ☆39Jul 15, 2024Updated last year
- Instrument Onyx workflows.☆11Jul 4, 2018Updated 7 years ago
- Utilities for targeting different compilation environments in Clojure/script☆15Apr 10, 2021Updated 4 years ago
- Clojure code editor wrapping Flense☆22May 8, 2015Updated 10 years ago
- A Clojure library for generation and parsing expressions from grammars and lexicons.☆15Updated this week
- Easy concurrency for Prolog☆13May 30, 2014Updated 11 years ago
- Turn your keyboard into a "piano" in Emacs☆17Oct 5, 2023Updated 2 years ago