A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
☆22Apr 2, 2020Updated 6 years ago
Alternatives and similar repositories for wam
Users that are interested in wam are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Optional types for Prolog☆11Aug 14, 2018Updated 7 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 11 years ago
- Prolog language support for Visual Studio Code☆21May 14, 2021Updated 5 years ago
- A Javascript implementation of Prolog☆16Mar 20, 2016Updated 10 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 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.
- Explainable machine learning☆17Mar 17, 2019Updated 7 years ago
- How hard can it be?☆11May 4, 2018Updated 8 years ago
- Demo SWI-Prolog HTTP based chat server☆21Nov 2, 2016Updated 9 years ago
- Posts, presentations and papers I've written.☆39Jun 12, 2020Updated 6 years ago
- Prolog stuff☆27Jul 19, 2026Updated 3 weeks ago
- A bare-bones blogging system, written in Prolog☆27Feb 3, 2024Updated 2 years ago
- Java based Edinburgh Prolog parser☆12May 15, 2026Updated 2 months ago
- N-Queens puzzle built with react and SWI Pengines.☆10Jun 13, 2026Updated 2 months ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 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.
- Kolmogorov Arnold Networks trained on MNIST☆12May 4, 2024Updated 2 years ago
- RapidXML based XML to JSON converter for Node.JS☆11Aug 5, 2026Updated last week
- Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge☆11Mar 18, 2016Updated 10 years ago
- Transforms JSX elements to a string literal.☆16Dec 5, 2016Updated 9 years ago
- ⛓️ Extension of clingo to handle constraints over integers☆36May 7, 2026Updated 3 months ago
- Raging Flame Blog -☆10Dec 6, 2022Updated 3 years ago
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆103Sep 28, 2021Updated 4 years ago
- CLIM-based appliction for learning languages, in particular Vietnamese.☆11Feb 6, 2023Updated 3 years ago
- All code examples from "The Little Prover" book☆22Nov 22, 2015Updated 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.
- DocLog builds documentation from source code in Prolog☆35May 9, 2026Updated 3 months ago
- Framework for creating web applications using Logtalk☆12Apr 12, 2023Updated 3 years ago
- Sample Leaflet app with Electron☆11May 25, 2015Updated 11 years ago
- A Common Lisp Instant Messaging Client.☆12Nov 17, 2022Updated 3 years ago
- Mocking functions. Please get in touch to discuss features! Only regular functions available for now.☆18Jul 21, 2022Updated 4 years ago
- APL-like functions for use from Lua.☆18Mar 23, 2015Updated 11 years ago
- naïve set arithmetic + CL types reification☆13Jan 14, 2017Updated 9 years ago
- The default Node Library for StremeCoder☆11Mar 9, 2022Updated 4 years ago
- A language for data modeling and incremental computing of derived values☆11May 7, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- PinnacleSports API client for node☆12Apr 29, 2016Updated 10 years ago
- A simple to deploy cloud file storage system with zero-knowledge encryption and file versioning.☆12Dec 22, 2020Updated 5 years ago
- Examples of how to use regular expressions in Haskell.☆14Oct 16, 2015Updated 10 years ago
- Extism Plug-in development kit (PDK) for Haskell☆10Mar 22, 2025Updated last year
- Node.js implementation for Estonian(and some other) banklink payments.☆16Nov 13, 2014Updated 11 years ago
- Extism Haskell Host SDK - easily run WebAssembly modules / plugins from Haskell applications☆11Dec 3, 2024Updated last year
- Pengines: Prolog engines☆13Updated this week