Port of microKanren to JavaScript.
☆25Feb 19, 2022Updated 4 years ago
Alternatives and similar repositories for kanren
Users that are interested in kanren are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Aug 21, 2017Updated 8 years ago
- Unmaintained repository-updates likely needed. React based renderer for reflex☆14Oct 20, 2015Updated 10 years ago
- Make and share a small React project with minimal effort☆14Dec 27, 2015Updated 10 years ago
- miniKanren for JavaScript☆27Jul 18, 2023Updated 2 years ago
- Research project: Program synthesis using updated interface, template and types.☆14Dec 2, 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.
- A trace visualization of MicroKanren logic programs, in JS.☆14Jan 1, 2023Updated 3 years ago
- npm i -g crunsh-single-page☆10Oct 12, 2016Updated 9 years ago
- is a set of utility styles for React Native + Clojurescript.☆11Feb 20, 2016Updated 10 years ago
- ☆12Oct 24, 2024Updated last year
- LinkedIn Job Applicant Scraper: A Python-based web scraper using Selenium to extract applicant information from LinkedIn profiles, facili…☆14Feb 23, 2024Updated 2 years ago
- Datalog implemented in minikanren☆24Sep 14, 2017Updated 8 years ago
- Lift React components to take flyd streams.☆24May 24, 2017Updated 8 years ago
- Type definitions for writing AWS lambda functions☆17May 18, 2022Updated 3 years ago
- Just an Electron app for experimenting with P2P collaboration over various transports.☆10Aug 1, 2016Updated 9 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.
- ☆10Dec 10, 2018Updated 7 years ago
- A CLI tool that scans a source directory and gives statistics and a big list of files that are and are not flow-annotated.☆10May 11, 2019Updated 6 years ago
- Portfolio simulation running in a OCaml web worker☆11Jun 21, 2017Updated 8 years ago
- DEPRECATED. Moved to elm-community/json-extra =>☆10Jun 16, 2016Updated 9 years ago
- the AI powered BDD test framework for typescript projects☆18Feb 4, 2026Updated last month
- A Starter Template for SWI-Prolog Projects☆10Jun 1, 2020Updated 5 years ago
- Exposing some of the internal Meteor API prototypes☆40Dec 2, 2018Updated 7 years ago
- a mini minikanren☆26Aug 9, 2013Updated 12 years ago
- A simple & lightweight vanilla javascript library for creating a tablet friendly editable grid.☆12Feb 5, 2018Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- The Coil Programming Language☆33Mar 19, 2024Updated 2 years ago
- Create tarballs in node or the browser☆10Mar 31, 2022Updated 3 years ago
- Minimal QML implementation of the classical TodoMVC☆10Sep 17, 2017Updated 8 years ago
- A Python 3 compatible fork of https://launchpad.net/pymeta☆18Jan 9, 2019Updated 7 years ago
- Check if is a PDF file valid☆13Aug 31, 2019Updated 6 years ago
- TDOP parser https://tdop.github.io☆17Updated this week
- Generate typescript model definitions with just the JSON schema (including reference resolution).☆14Feb 1, 2021Updated 5 years ago
- Small, robust and versatile JavaScript router for single page apps☆16Mar 11, 2018Updated 8 years ago
- Viewer component for Spectacle Editor presentation files☆13Sep 12, 2017Updated 8 years ago
- 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.
- DEPRECATED. A "type-safe" HTML DSL for JavaScript environments.☆12Mar 22, 2016Updated 10 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- Forward messages to collaborators in East-oriented style.☆14Oct 18, 2025Updated 5 months ago
- Superseded by level-transcoder. Encode keys, values and range options, with built-in or custom encodings.☆27Dec 20, 2024Updated last year
- A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.☆32Feb 22, 2026Updated last month
- A Playwright MCP package in Nix☆18Jan 16, 2026Updated 2 months ago
- A React.js Date Input Component☆16Jun 7, 2015Updated 10 years ago