microKanren implementation from DLS '16
☆14May 29, 2018Updated 8 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 13 years ago
- A simple tutorial for getting a Clojure web app (using Ring) set up under Jetty with Apache as a proxy.☆11Aug 24, 2012Updated 14 years ago
- Computing regular expressions to test divisibility☆10Apr 14, 2022Updated 4 years ago
- simple scheduled image bot for your mastodon instance☆10Mar 30, 2018Updated 8 years ago
- First commit☆10Nov 1, 2015Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An experimental typed version of the Rosette language☆13Aug 6, 2018Updated 8 years ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 3 years ago
- Sublime Text plugin for the Racket programming Language☆13Oct 15, 2026Updated 2 weeks ago
- OAuth module for Guile☆21Jan 2, 2023Updated 3 years ago
- ☆12Oct 2, 2017Updated 9 years ago
- Clojure alias sharing☆13Jan 13, 2019Updated 7 years ago
- An OpenCL implementation of Connected Components Labeling based on "Connected Component Labeling in CUDA" from Onrej Stava, Bedrich Benes…☆13Apr 27, 2017Updated 9 years ago
- An example GNU doc viewer as a single page browser app☆10Aug 21, 2014Updated 12 years ago
- TodoMVC implementations using .NET.☆10Oct 17, 2018Updated 8 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.
- nREPL support for ClojureScript☆10Nov 13, 2017Updated 8 years ago
- my blog!☆16Oct 9, 2026Updated 3 weeks ago
- miniKanren in Pharo☆12Jun 10, 2024Updated 2 years ago
- Macro-based string templating. Repo migrated to https://codeberg.org/macromania/macromania☆25Feb 8, 2026Updated 8 months ago
- An example using Nashorn to render Reagent on the server☆10Sep 20, 2015Updated 11 years ago
- ☆13Sep 18, 2020Updated 6 years ago
- A Python implementation of Freenet topology probing and analysis using FCP.☆12Jan 3, 2023Updated 3 years ago
- Automated cross-build script for building GNU Guile for Windows☆25Dec 15, 2018Updated 7 years ago
- Simple GUI framework for pyglet + python☆12Apr 28, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Oleg Kiselyov's minimal implementation of logic programming☆24Feb 5, 2013Updated 13 years ago
- mySQL binding for Chez Scheme☆14Oct 29, 2018Updated 8 years ago
- Python implementation of http://tantek.pbworks.com/w/page/19402946/NewBase60☆14Sep 15, 2020Updated 6 years ago
- Summaries of intro and advanced miniKanren hangout series☆29Dec 18, 2017Updated 8 years ago
- Heuristic, parsimony-based ancestral recombination graph inference☆17Aug 25, 2021Updated 5 years ago
- ☆19Aug 11, 2026Updated 2 months ago
- ☆13Sep 21, 2020Updated 6 years ago
- Dynamic and static proxy for Ring☆10Dec 29, 2017Updated 8 years ago
- Template for CLJC libraries☆11Jun 10, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- git-remote-helper for freenet:// and infocalypse://. allows using hg infocalypse repos transparently as git remotes☆12Feb 20, 2013Updated 13 years ago
- Icicle For Freenet☆10Aug 2, 2023Updated 3 years ago
- Connected Component Labeling Algorithm for GPGPU☆24Oct 31, 2024Updated 2 years ago
- A VS Code extension supporting for Picat language☆18Oct 27, 2018Updated 8 years ago
- An opinionated guide for setting up Racket and Emacs on a Mac☆18Feb 10, 2016Updated 10 years ago
- A Socket REPL that also submits forms to Cognitect's REBL☆13Aug 24, 2020Updated 6 years ago
- Hands-on tutorial on how to combine ITK with OpenCV☆19Sep 3, 2016Updated 10 years ago