µKanren in JavaScript
☆13Jan 22, 2014Updated 12 years ago
Alternatives and similar repositories for ukanren.js
Users that are interested in ukanren.js are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A homoiconic language based on LISP 1.5/SICP Scheme interpreters. The syntax is JSON.☆10Apr 24, 2010Updated 16 years ago
- Lisp implementation in Lua☆12Aug 9, 2014Updated 12 years ago
- A toy c compiler written in python☆11Jan 9, 2024Updated 2 years ago
- JSON parser in c☆18Apr 1, 2025Updated last year
- vm and compiler for a small lisp☆12Aug 28, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- minimal miniKanren implementation in Julia☆23May 23, 2017Updated 9 years ago
- Interface between Julia and Torch (Lua) using ZMQ☆22Feb 19, 2015Updated 11 years ago
- A simple example of an interpreter in JS. Evaluates lambda calculus expressions.☆15Apr 25, 2010Updated 16 years ago
- All the logic programming code examples from the book "The Reasoned Schemer"☆53Mar 28, 2010Updated 16 years ago
- Tiny Object Run Time☆24May 24, 2015Updated 11 years ago
- Lua port of of microKanren, a minimal logic programming engine.☆35Jan 21, 2014Updated 12 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆26Jan 19, 2014Updated 12 years ago
- An example of building pico 8 games with the fennel programming language☆12Sep 20, 2023Updated 3 years ago
- Minimal LISP Compiler for x86_64☆19Feb 22, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Lattice-Boltzmann implementation in Julia☆21Feb 24, 2017Updated 9 years ago
- One of the most minimal MOS6502 and retro computer emulators!☆22Jan 21, 2024Updated 2 years ago
- Compile .lua/.js/.moon to .p8 ::☆14Feb 8, 2017Updated 9 years ago
- ECMAScript for Racket☆20Dec 9, 2021Updated 4 years ago
- ☆11Sep 15, 2022Updated 4 years ago
- Collection of interpreters for esoteric programming languages☆14Jul 10, 2021Updated 5 years ago
- ...is a web based user interface with controls for the mpv mediaplayer.☆14Dec 26, 2020Updated 5 years ago
- Fork of Roberto Saccon's ErlyJs☆12May 2, 2013Updated 13 years ago
- R7RS compliant Scheme implementation in JavaScript (Work in Progress)☆18Oct 22, 2015Updated 10 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.
- ☆22May 8, 2016Updated 10 years ago
- A Julia package for evaluation of divergences between distributions☆10Jul 4, 2026Updated 3 months ago
- Naive pure-Ruby simplex solver for linear programming problems.☆19Oct 31, 2017Updated 8 years ago
- ArcadeLearningEnvironment Julia interface☆29May 1, 2021Updated 5 years ago
- a grep-like tool tailored for code☆18May 16, 2022Updated 4 years ago
- Slides and code from my track B talk "Build Your Own Programming Language with JavaScript"☆24Apr 20, 2010Updated 16 years ago
- Shell script for GNU/Linux to help you dealing with plain-text markdown notes☆14Jan 29, 2017Updated 9 years ago
- Class to add, validate and mail simple HTML/AJAX forms via Markdown☆14Dec 1, 2014Updated 11 years ago
- A shim to create a clojure-friendly servlet container interface.☆14Sep 18, 2015Updated 11 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.
- backup of the joy programming language☆31Feb 19, 2016Updated 10 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆32Jun 14, 2024Updated 2 years ago
- The finest javascript oscillators. Sine, saw, square, triangle.☆16May 1, 2016Updated 10 years ago
- Various finite representations of large or infinite sets and associated primitive functions☆12Nov 23, 2018Updated 7 years ago
- A Simple, Educational Implementation☆11Feb 14, 2018Updated 8 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆13Jan 28, 2021Updated 5 years ago
- 🍅 A pomodoro clock that doesn't break your flow☆13Mar 12, 2017Updated 9 years ago