An embedding of miniKanren in Shen.
☆25Jun 6, 2015Updated 11 years ago
Alternatives and similar repositories for shen-minikanren
Users that are interested in shen-minikanren are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Shen KLambda to KLVM translator.☆31Jan 4, 2016Updated 10 years ago
- A C implementation of the Shen programming language☆72Jan 8, 2022Updated 4 years ago
- ☆15May 28, 2016Updated 10 years ago
- ☆11May 2, 2013Updated 13 years ago
- Shen on javascript.☆70Aug 31, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Droscheme - a Scheme implementation☆13Apr 30, 2023Updated 3 years ago
- 神.clj | Shen for Clojure. Shen is a portable functional programming language by Mark Tarver.☆156Mar 5, 2024Updated 2 years ago
- This is a conversion of the `clojure.core/isa?` function to a protocol.☆13Jul 17, 2012Updated 14 years ago
- The L10 Logic Programming Language☆10Aug 4, 2015Updated 11 years ago
- lattice-based miniKanren, inspired by lambda-LVars☆12Apr 2, 2013Updated 13 years ago
- Port of the Shen programming language to the Graal runtime☆26Aug 16, 2017Updated 9 years ago
- A Java implementation of the Shen programming language☆29May 13, 2019Updated 7 years ago
- A Haskell implementation of the Shen programming language.☆170Apr 5, 2018Updated 8 years ago
- An Emacs major mode for editing Shen source code☆30Dec 30, 2013Updated 12 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- SICP in Clojure with clojure.core.typed☆18Oct 31, 2015Updated 10 years ago
- Quil examples on ClojureScript☆15Jul 13, 2014Updated 12 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 14 years ago
- NOTE: This repository is obsolete. Was: A pilot project to use Clojure for introductory computer science courses at the University of Min…☆20Sep 30, 2017Updated 9 years ago
- A typed logic programming language embedded in Haskell☆50Mar 3, 2013Updated 13 years ago
- Shen for JavaScript☆61Aug 30, 2024Updated 2 years ago
- ☆39Jan 19, 2014Updated 12 years ago
- Shen/Scheme implementation☆131Oct 21, 2026Updated last week
- a key/value storage abstraction, based around buckets☆12Jun 21, 2015Updated 11 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- because nobody really wants to eat boiled silkworms☆13Sep 4, 2017Updated 9 years ago
- Shen experimental libraries☆150Apr 23, 2019Updated 7 years ago
- ☆15Jan 31, 2021Updated 5 years ago
- core.logic.nominal at the minikanren confo 2013☆18Feb 9, 2023Updated 3 years ago
- Relational implementation of the CESK machine☆21Jul 15, 2013Updated 13 years ago
- NanoML is a simple eager functional programming language based on MiniML (http://www.andrej.com/plzoo/html/miniml.html)☆13Feb 24, 2012Updated 14 years ago
- An experimental typed version of the Rosette language☆13Aug 6, 2018Updated 8 years ago
- Simple Neural Network Examples in 8 lines APL☆32Jun 12, 2023Updated 3 years ago
- Process a pile of wav files into something like a final podcast episode.☆11Feb 6, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- bindings for the raylib + raygui library in Factor☆10Dec 31, 2020Updated 5 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆14Nov 9, 2021Updated 4 years ago
- a getting-started sample for Clojure and Solr☆11Aug 28, 2015Updated 11 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated 2 years ago
- Constraint Handling Rules in Clojure☆28Oct 14, 2011Updated 15 years ago
- Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)☆12Dec 30, 2025Updated 10 months ago
- Runnable examples for Typed Clojure paper☆11Jul 2, 2015Updated 11 years ago