jasonhemann / microKanren-DLS-16View external linksLinks
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.☆24Oct 9, 2025Updated 4 months ago
- Light Weight Cells☆20Oct 6, 2024Updated last year
- DEPRECATED - Reboot of the Kivy ListView☆17Apr 16, 2016Updated 9 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Feb 5, 2013Updated 13 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☆39Feb 3, 2026Updated last week
- The linked open dataset described at http://datahub.io/dataset/vu-wordnet, and the tools used to create it☆25Oct 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 9 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
- immersive Data Visualisation Interactive Explorer (iDaVIE). The specific goal of iDaVIE is to enable the interrogation of 3D data using v…☆17Feb 4, 2026Updated last week
- Simple MySQL Async/Await Connection Pool☆10Dec 8, 2022Updated 3 years ago
- LLM 100k portfolio management benchmark☆44Apr 7, 2025Updated 10 months ago
- CubiQL: A GraphQL service for querying multidimensional Linked Data Cubes☆41Jan 10, 2023Updated 3 years ago
- Low-Code SaaS Framework☆10Jan 14, 2026Updated last month
- A graphical remake of the 1984 Castle Adventure game initially created by Kevin Bales.☆15Jul 2, 2020Updated 5 years ago
- English Amazigh dictionary using React.js, Data Extraction from a PDF Dictionary using python☆15Sep 25, 2024Updated last year
- ☆14Sep 21, 2022Updated 3 years ago
- Publications related to Secure-Scuttlebutt and related technologies.☆15Jul 9, 2024Updated last year
- PACT Agent Collaboration Layer☆14Dec 23, 2025Updated last month
- A toolbox for simulating open quantum system dynamics.☆10Mar 21, 2022Updated 3 years ago
- Contracts for the EMAX token on Ethereum Mainnet☆20Feb 24, 2022Updated 3 years ago
- 2D game engine for Common Lisp☆12Jun 5, 2012Updated 13 years ago
- 🧙♂️✨ Covenants protocol helps Contracts, Organizations (DFOs, DAOs), or regular people to build and manage cross AMMs financial applica…☆11Apr 24, 2024Updated last year
- An integrated VCS and development environment for Common Lisp☆13Mar 8, 2024Updated last year
- Load data into wikibase☆10Nov 20, 2018Updated 7 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
- A shapely icon generator with 3136 unique entities and a neutral flavour.☆22Jun 27, 2014Updated 11 years ago
- ☆10May 24, 2021Updated 4 years ago
- Use a visual heat or motion map to count the number of people that enter and exit a store, factory, or warehouse aisle.☆11Jan 3, 2023Updated 3 years ago
- Provendocs is a blockchain enabled document storage service built on ProvenDB.☆12Dec 22, 2022Updated 3 years ago
- D3 Interpolate Curves☆11Feb 22, 2025Updated 11 months ago
- Make your own CLIMATECLOCK with off-the-shelf parts.☆13Apr 26, 2021Updated 4 years ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 2 years ago