A JavaScript implementation of the Logic Programming System described in section 4.4 of "Structure and Interpretation of Computer Programs" .
☆22Jan 25, 2012Updated 14 years ago
Alternatives and similar repositories for JavaScript-Logic-Programming-System
Users that are interested in JavaScript-Logic-Programming-System 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 nanopass-style compiler in Elixir, targeting BEAM, based on https://github.com/compilers-course-materials/☆16Sep 19, 2021Updated 4 years ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 10 years ago
- facebook/immutable-js wrapper providing static functions to work with functional programming☆12Aug 6, 2014Updated 12 years ago
- Simple Prolog to JS transpiler☆20Oct 19, 2012Updated 13 years ago
- Functional programming for MooTools☆20Jun 5, 2010Updated 16 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.
- Dhall support for directed graphs with labeled vertices☆19Sep 2, 2021Updated 4 years ago
- the Meta-II VM in C☆21Aug 16, 2015Updated 11 years ago
- ☆17Dec 10, 2023Updated 2 years ago
- N-Queens puzzle built with react and SWI Pengines.☆10Aug 13, 2026Updated 2 weeks ago
- A Markdown pre-processor with support for BibTeX citations.☆12May 22, 2018Updated 8 years ago
- A Mix task for type-checking your Elixir project with dialyzer☆60Jul 6, 2021Updated 5 years ago
- Regular expressions for Prolog☆17Jul 6, 2017Updated 9 years ago
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆10Dec 16, 2018Updated 7 years ago
- A WebAssembly port of Ink, useful for in-browser compilation.☆14Apr 28, 2022Updated 4 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.
- A POC implementation of muKanren using CSP (core.async)☆31May 2, 2014Updated 12 years ago
- ☆13Jul 13, 2021Updated 5 years ago
- ☆25Apr 15, 2021Updated 5 years ago
- Entries for NaNoGenMo2015☆12Oct 15, 2017Updated 8 years ago
- FFTVis a simple music player with a bar visualization. Full commented source code.☆11Feb 28, 2016Updated 10 years ago
- Yii2 i18n Url Manager☆13Aug 10, 2020Updated 6 years ago
- Good guy in the middle - transparent HTTPS redirection☆17Mar 1, 2019Updated 7 years ago
- Random ideas about libraries for Prolog☆12Nov 2, 2016Updated 9 years ago
- Check prices for a DB route.☆12Oct 21, 2021Updated 4 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.
- Dateselect - a time-based job scheduler with CSS-like selector syntax.☆12Aug 23, 2012Updated 14 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆11Jun 12, 2018Updated 8 years ago
- A web-based frontend engine for Ink stories, using Inkjs☆15Nov 28, 2017Updated 8 years ago
- Layout solver☆12May 31, 2017Updated 9 years ago
- Rough PoC for exposing Flowtype annotations to runtime code☆28Oct 3, 2016Updated 9 years ago
- Modern web scraper with LLM-enhanced extraction, extensible pipeline, and pluggable parsers.☆10Apr 17, 2026Updated 4 months ago
- Vim plugin for Trello☆14Oct 14, 2023Updated 2 years ago
- creating a cabal new-build configuration from a stack configuration☆12May 8, 2018Updated 8 years ago
- Explainable machine learning☆17Mar 17, 2019Updated 7 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.
- JUCE module for drawing using cairo☆14Oct 15, 2017Updated 8 years ago
- Small example of a Nix-built servant-server with a reflex-dom client.☆13Feb 5, 2018Updated 8 years ago
- an example airship app☆14Jul 14, 2016Updated 10 years ago
- Tupelo reference signer implementation☆14Sep 29, 2020Updated 5 years ago
- A Node.js interface to the SWI-Prolog communicating over stdio.☆10Mar 14, 2020Updated 6 years ago
- Super Nario - Haskell clone (mirror)☆13Jun 14, 2026Updated 2 months ago
- This Composer package is the basis for a new phpList installation.☆14Updated this week