microKanren implementation from DLS '16
☆14May 29, 2018Updated 7 years ago
Alternatives and similar repositories for microKanren-DLS-16
Users that are interested in microKanren-DLS-16 are comparing it to the libraries listed below
Sorting:
- MessagePack for R6RS Scheme / msgpack.org[Scheme]☆12Oct 17, 2013Updated 12 years ago
- mySQL binding for Chez Scheme☆14Oct 29, 2018Updated 7 years ago
- Macro-based string templating. Repo migrated to https://codeberg.org/macromania/macromania☆24Feb 8, 2026Updated 3 weeks ago
- Light Weight Cells☆20Oct 6, 2024Updated last year
- Oleg Kiselyov's minimal implementation of logic programming☆24Feb 5, 2013Updated 13 years ago
- DEPRECATED - Reboot of the Kivy ListView☆17Apr 16, 2016Updated 9 years ago
- OAuth module for Guile☆21Jan 2, 2023Updated 3 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Dec 18, 2017Updated 8 years ago
- A durable execution engine for rust☆43Feb 21, 2026Updated 2 weeks ago
- The linked open dataset described at http://datahub.io/dataset/vu-wordnet, and the tools used to create it☆26Oct 19, 2020Updated 5 years ago
- Automated cross-build script for building GNU Guile for Windows☆25Dec 15, 2018Updated 7 years ago
- The Directed Acyclic Graph Elevation Markup Language☆80Apr 17, 2025Updated 10 months ago
- Materials for the Text to Tech workshop at the Digital Humanities Oxford Summer School☆16Aug 8, 2025Updated 6 months ago
- a Web framework for Igropyr (Chez Scheme http-server)☆36Feb 9, 2025Updated last year
- Automatically set git config properties in local repository based on remote URL☆15Oct 25, 2021Updated 4 years ago
- Simple MySQL Async/Await Connection Pool☆10Dec 8, 2022Updated 3 years ago
- immersive Data Visualisation Interactive Explorer (iDaVIE). The specific goal of iDaVIE is to enable the interrogation of 3D data using v…☆17Feb 25, 2026Updated last week
- LLM 100k portfolio management benchmark☆44Apr 7, 2025Updated 11 months ago
- CubiQL: A GraphQL service for querying multidimensional Linked Data Cubes☆41Jan 10, 2023Updated 3 years ago
- Contracts for the EMAX token on Ethereum Mainnet☆20Feb 24, 2022Updated 4 years ago
- Trading signals processing solution that supports signals filtering and posting to broker or exchanges that are not integrated into your …☆10May 9, 2021Updated 4 years ago
- Load data into wikibase☆10Nov 20, 2018Updated 7 years ago
- English Amazigh dictionary using React.js, Data Extraction from a PDF Dictionary using python☆16Sep 25, 2024Updated last year
- PACT Agent Collaboration Layer☆15Feb 26, 2026Updated last week
- ☆14Sep 21, 2022Updated 3 years ago
- Low-Code SaaS Framework☆10Jan 14, 2026Updated last month
- 🧙♂️✨ Covenants protocol helps Contracts, Organizations (DFOs, DAOs), or regular people to build and manage cross AMMs financial applica…☆11Apr 24, 2024Updated last year
- 2D game engine for Common Lisp☆12Jun 5, 2012Updated 13 years ago
- An integrated VCS and development environment for Common Lisp☆13Mar 8, 2024Updated last year
- Publications related to Secure-Scuttlebutt and related technologies.☆15Jul 9, 2024Updated last year
- A toolbox for simulating open quantum system dynamics.☆10Mar 21, 2022Updated 3 years ago
- Advent of Code 2023 (Mojo)☆12Sep 30, 2024Updated last year
- ☆15Jul 2, 2023Updated 2 years ago
- ☆10Mar 14, 2016Updated 9 years ago
- Nothing to see here yet ...☆12Jun 28, 2025Updated 8 months ago
- An example using Nashorn to render Reagent on the server☆10Sep 20, 2015Updated 10 years ago
- OctoFi yield smart contract☆10Sep 12, 2020Updated 5 years ago
- ☆10Oct 25, 2025Updated 4 months ago
- Provendocs is a blockchain enabled document storage service built on ProvenDB.☆12Dec 22, 2022Updated 3 years ago