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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MessagePack for R6RS Scheme / msgpack.org[Scheme]☆12Oct 17, 2013Updated 12 years ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 2 years ago
- OAuth module for Guile☆21Jan 2, 2023Updated 3 years ago
- simple scheduled image bot for your mastodon instance☆10Mar 30, 2018Updated 7 years ago
- immersive Data Visualisation Interactive Explorer (iDaVIE). The specific goal of iDaVIE is to enable the interrogation of 3D data using v…☆19Mar 4, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆12Oct 2, 2017Updated 8 years ago
- Generic Little System☆17May 5, 2024Updated last year
- An OpenCL implementation of Connected Components Labeling based on "Connected Component Labeling in CUDA" from Onrej Stava, Bedrich Benes…☆12Apr 27, 2017Updated 8 years ago
- miniKanren in Pharo☆11Jun 10, 2024Updated last year
- Macro-based string templating. Repo migrated to https://codeberg.org/macromania/macromania☆25Feb 8, 2026Updated last month
- nREPL support for ClojureScript☆10Nov 13, 2017Updated 8 years ago
- TodoMVC implementations using .NET.☆10Oct 17, 2018Updated 7 years ago
- An example using Nashorn to render Reagent on the server☆10Sep 20, 2015Updated 10 years ago
- Support for Racket Language☆13Jul 30, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Heuristic, parsimony-based ancestral recombination graph inference☆17Aug 25, 2021Updated 4 years ago
- miniKanren in OCaml☆31May 5, 2023Updated 2 years ago
- Automated cross-build script for building GNU Guile for Windows☆25Dec 15, 2018Updated 7 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Dec 18, 2017Updated 8 years ago
- Mirror of https://hg.sr.ht/~arnebab/wisp☆17Dec 26, 2020Updated 5 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Feb 5, 2013Updated 13 years ago
- my blog!☆16Mar 17, 2026Updated last week
- Integrates the GPaste clipboard manager and Emacs' kill-ring☆13Oct 30, 2023Updated 2 years ago
- CEUR-WS proceedings style☆20Jan 14, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Template for CLJC libraries☆11Jun 10, 2021Updated 4 years ago
- mySQL binding for Chez Scheme☆14Oct 29, 2018Updated 7 years ago
- Another tutorial for writing a Forth interpreter in assembly☆19Oct 8, 2017Updated 8 years ago
- An opinionated guide for setting up Racket and Emacs on a Mac☆18Feb 10, 2016Updated 10 years ago
- Hands-on tutorial on how to combine ITK with OpenCV☆19Sep 3, 2016Updated 9 years ago
- A Reitit router for Duct☆10Jul 20, 2023Updated 2 years ago
- A VS Code extension supporting for Picat language☆18Oct 27, 2018Updated 7 years ago
- A Socket REPL that also submits forms to Cognitect's REBL☆13Aug 24, 2020Updated 5 years ago
- Icicle For Freenet☆10Aug 2, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆19Feb 21, 2026Updated last month
- Connected Component Labeling Algorithm for GPGPU☆24Oct 31, 2024Updated last year
- *Lisp simulator☆28Oct 11, 2013Updated 12 years ago
- Corewars in Funge☆12Sep 15, 2015Updated 10 years ago
- Better REPL based debugging output☆12Sep 21, 2024Updated last year
- [Obsolete] Legacy repo for the Sanguine Debauchery mod for Skyrim☆27Feb 8, 2023Updated 3 years ago
- Research project: Program synthesis using updated interface, template and types.☆14Dec 2, 2020Updated 5 years ago