A JavaScript propositional logic and resolution library
☆61Sep 19, 2017Updated 9 years ago
Alternatives and similar repositories for vulcan
Users that are interested in vulcan are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean ported to Javascript with Emscripten☆27Jun 27, 2017Updated 9 years ago
- benchmark utility powered by hdr histograms, for node☆14Dec 16, 2016Updated 9 years ago
- A simple markdown component for choo-js☆14Jan 19, 2017Updated 9 years ago
- Validate JS objects and arrays using graphql-esque syntax☆36Aug 24, 2015Updated 11 years ago
- Back to the basics, Hickey-inspired, generic text parser☆21Jun 12, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- gulp with ES.next☆10Dec 18, 2014Updated 11 years ago
- An Efficient JavaScript Unification Library☆19Feb 10, 2015Updated 11 years ago
- Multi-type protocol-based polymorphism☆11Sep 10, 2016Updated 10 years ago
- Proof of concept☆13Oct 25, 2015Updated 11 years ago
- An example showing codemirror and choo☆13May 27, 2017Updated 9 years ago
- Prolog interpreter in JavaScript/Node.js, WIP☆16Feb 21, 2021Updated 5 years ago
- a DSL that blocks AI mistakes via proof☆16Oct 26, 2026Updated last week
- Overly tolerant url parser specialized in parsing protocol, auth (even invalid ones), host and port url parts.☆15Apr 27, 2020Updated 6 years ago
- Expose your flows without laying so much `.pipe()`.☆10Aug 10, 2015Updated 11 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.
- A Haskell client for the Coinbase Pro API☆12May 20, 2020Updated 6 years ago
- Benchmark a Haskell websocket server with tsung☆13Nov 4, 2015Updated 10 years ago
- node.js topological sort utility☆13Feb 28, 2013Updated 13 years ago
- NSQ protocol for Node.js implemented as a through stream☆17Mar 30, 2014Updated 12 years ago
- Inductive programming in JavaScript☆25May 31, 2016Updated 10 years ago
- hyperfused client for node☆22Sep 4, 2015Updated 11 years ago
- ☆17Aug 13, 2020Updated 6 years ago
- ☆15Jun 24, 2018Updated 8 years ago
- SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now☆13Mar 5, 2024Updated 2 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.
- Data classification algorithms☆18Apr 6, 2015Updated 11 years ago
- Ciao is a simple command line utility for testing http(s) requests and generating API documentation☆29Nov 1, 2018Updated 8 years ago
- A smart worker pool for Browserify.☆47Oct 26, 2016Updated 10 years ago
- An implementation of write-ahead logging (WAL) for nodejs.☆17May 6, 2016Updated 10 years ago
- Elect a leader using unix sockets, for node☆20Aug 26, 2018Updated 8 years ago
- Purely functional Redux actions and reducers with PureScript.☆12Apr 19, 2016Updated 10 years ago
- node.js module to rolling calculate a checksum (adler-32)☆11Dec 30, 2013Updated 12 years ago
- ☆15Apr 26, 2013Updated 13 years ago
- Inline stylesheets into email HTML templates using LearnBoost's Juice☆16Feb 21, 2016Updated 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.
- Flow Router and Blaze example☆11Aug 24, 2015Updated 11 years ago
- An Atom.io grammar for nearley☆12May 21, 2020Updated 6 years ago
- PeaCoq is a pretty Coq, isn't it?☆104Jul 26, 2021Updated 5 years ago
- SNARK - SRI's New Automated Reasoning Kit☆19Feb 24, 2025Updated last year
- Synthetic Differential Geometry in Agda☆13Jan 14, 2015Updated 11 years ago
- a framework to build cli applications that is designed to get out of your way☆22Jul 28, 2013Updated 13 years ago
- Purescript bindings for MathBox☆18Dec 2, 2020Updated 5 years ago