Files for the miniKanren.org website. If you would like to update the site, please do so and send a pull request!
☆14Nov 6, 2026Updated this week
Alternatives and similar repositories for miniKanren_org-website
Users that are interested in miniKanren_org-website are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formally verified JSON parser☆15Sep 27, 2017Updated 9 years ago
- HaXe mode for Emacs based on Fundamental Major Mode☆13May 25, 2015Updated 11 years ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆32Aug 21, 2017Updated 9 years ago
- Cicada 3301 2016☆10Jan 6, 2016Updated 10 years ago
- 🚧A WIP hobbyist game engine written in modern C++☆13Updated this week
- 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.
- Algebraic UI's in Purescript☆16Dec 4, 2020Updated 5 years ago
- Prolog programming for the Java platform.☆40Sep 5, 2026Updated 2 months ago
- A Compiler and Type Inference System for a subset of Standard ML called Small.☆14May 19, 2017Updated 9 years ago
- Optimized primitives for collective multi-GPU communication☆11May 8, 2024Updated 2 years ago
- metaprogramming for don't-repeat-yourself Python☆29May 16, 2019Updated 7 years ago
- Beautiful, interactive, HTML5 visualization library in haXe / JavaScript.☆14Sep 30, 2013Updated 13 years ago
- Quick search and short links for NYC Council Legislation☆15Sep 28, 2026Updated last month
- ☆12Dec 25, 2025Updated 10 months ago
- Port of SwiftyKanren to Kotlin☆19Feb 8, 2021Updated 5 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.
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆25Jun 2, 2020Updated 6 years ago
- C++ Better Futures☆51Jan 19, 2023Updated 3 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- Cebu Taxi Crowdsource Application☆14Aug 27, 2013Updated 13 years ago
- Logic for story telling!☆37Mar 15, 2018Updated 8 years ago
- Anki add-on for multiple answers in "type in the answer" cards☆11Apr 10, 2026Updated 7 months ago
- Curated List of awesome courses for nerds☆11Sep 30, 2018Updated 8 years ago
- A definition and reference implementation for MRA in PureScript.☆18Aug 11, 2017Updated 9 years ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆14Mar 2, 2015Updated 11 years ago
- A collection of useful uses of GPT (and other LLMs), organized as examples☆16May 18, 2023Updated 3 years ago
- C++ implementation of FM Index data structure wrapped in Python☆15Mar 13, 2023Updated 3 years ago
- Julia implementation of the simplex algorithm for rational numbers.☆15Jul 1, 2018Updated 8 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 3 years ago
- Setup local serverless SQL Gaia/2MASS/ALLWISE/CATWISE databases and run query locally with python☆13Updated this week
- New Elixir Project Checklist, formating, versioning, debuging, documentation, code coverage, package publishing, testing☆10Sep 6, 2018Updated 8 years ago
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆14May 30, 2023Updated 3 years ago
- Datalog implemented in minikanren☆25Sep 14, 2017Updated 9 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.
- Vim plugin: Emulate Emacs' narrowing feature☆14Mar 24, 2012Updated 14 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆41Oct 14, 2025Updated last year
- Flat containers for C++☆60Jun 30, 2025Updated last year
- Sampling with Blackjax on Aesara☆11Mar 10, 2023Updated 3 years ago
- PGP web-app that verifies signed ascii armor messages automatically.☆14Jul 6, 2023Updated 3 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 7 years ago
- Purescript bindings for MathBox☆18Dec 2, 2020Updated 5 years ago
Are these results useful?