A Javascript implementation of Prolog
☆16Mar 20, 2016Updated 10 years ago
Alternatives and similar repositories for proscript
Users that are interested in proscript are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- If at first you don't succeed☆12Sep 25, 2020Updated 5 years ago
- Simple Prolog to JS transpiler☆20Oct 19, 2012Updated 13 years ago
- Optional types for Prolog☆11Aug 14, 2018Updated 7 years ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆15Aug 16, 2021Updated 4 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 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.
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆22Apr 2, 2020Updated 6 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- SWI-Prolog dynamic C interface☆19Sep 21, 2024Updated last year
- prolog interpreter in javascript☆83Feb 14, 2017Updated 9 years ago
- Prolog language support for Visual Studio Code☆20May 14, 2021Updated 5 years ago
- A simple and educational compiler for the SASL programming language☆23Apr 16, 2018Updated 8 years ago
- Maitreya - A generalized LR parser generator written in javascript☆11Nov 20, 2015Updated 10 years ago
- Discuss future development☆22Sep 25, 2015Updated 10 years ago
- A Go port of the lemon parser generator☆22Jan 5, 2026Updated 6 months 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 copy of Daan Leijen's reference implementation of HMF (type inference)☆18Apr 25, 2016Updated 10 years ago
- Library for reading the Macintosh File System☆11May 7, 2016Updated 10 years ago
- Allows one-click installation of Mac OS 0.x - 9.x software.☆12Apr 24, 2014Updated 12 years ago
- SWI-Prolog ported to WebAssembly☆42Jun 21, 2018Updated 8 years ago
- shipt it!☆19Jun 7, 2010Updated 16 years ago
- Minimal Lisp/Forth☆11Jan 5, 2025Updated last year
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Jun 3, 2022Updated 4 years ago
- Block Editor II☆13Dec 6, 2015Updated 10 years ago
- a 9term-compatible terminal in Ruby/Tk☆18Jan 28, 2012Updated 14 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆12Apr 2, 2019Updated 7 years ago
- Prolog stuff☆27Updated this week
- A bare-bones blogging system, written in Prolog☆27Feb 3, 2024Updated 2 years ago
- Experimental Ruby to Python 3 translator☆18Oct 19, 2016Updated 9 years ago
- N-Queens puzzle built with react and SWI Pengines.☆10Jun 13, 2026Updated last month
- A Jupyter kernel for Logtalk☆14Aug 23, 2025Updated 10 months ago
- An APL interpreter written in JavaScript. Runs in a browser or NodeJS.☆61Jun 5, 2024Updated 2 years ago
- Mirror of the tclkit repository formerly hosted at google code (tclkit, sdx, vqtcl aka vlerq)☆19Oct 11, 2016Updated 9 years ago
- A BQN virtual machine in Erlang☆14Feb 3, 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.
- Opens ports through a NAT with NAT-PMP, PCP, and UPnP☆11Mar 24, 2016Updated 10 years ago
- A persistent repository for PRONOM Research Week activities☆12May 26, 2021Updated 5 years ago
- RapidXML based XML to JSON converter for Node.JS☆11Jun 28, 2026Updated 3 weeks ago
- old-school Macintosh Emulator☆18Jul 3, 2018Updated 8 years ago
- Git mirror of the hash table data structure in C by Christopher Clark ⛺☆47Feb 20, 2019Updated 7 years ago
- macros for babel. I think.☆12Jul 7, 2017Updated 9 years ago
- React wrappers for Vaadin Components☆14Mar 4, 2023Updated 3 years ago