The GOSPL is a public collection of POPLOG source code that is reviewed and maintained by Stephen Leach.
☆11Oct 27, 2014Updated 12 years ago
Alternatives and similar repositories for GOSPL
Users that are interested in GOSPL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scripts for getting Poplog onto your Linux machine☆14Aug 22, 2024Updated 2 years ago
- ☆33Sep 22, 2026Updated last month
- Poplog☆22Nov 18, 2010Updated 15 years ago
- SETL4 brings the raw power and speed of SPITBOL to non-numeric computation using set-theoretic constructs.☆14Jun 13, 2019Updated 7 years ago
- programs written in Picat☆14Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A VS Code extension supporting for Picat language☆18Oct 27, 2018Updated 8 years ago
- GNU SETL☆39Feb 7, 2025Updated last year
- An advanced, full-stack AI-driven code review system built using the MERN stack (MongoDB, Express.js, React.js, Node.js), designed to rev…☆14Jul 1, 2026Updated 4 months ago
- Corman Lisp. linux port☆11Jul 12, 2026Updated 4 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Sep 25, 2026Updated last month
- A language for code golf.☆25Aug 26, 2013Updated 13 years ago
- MiniZinc playground using WebAssembly☆14Updated this week
- SPITBOL x32 provides raw power and speed for non-numeric computation on the i386 architecture☆23Feb 10, 2017Updated 9 years ago
- Probabilistic Functional Logic Programming☆16Mar 27, 2025Updated last year
- 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.
- My unofficial picat http://picat-lang.org/ repository☆32Jan 11, 2024Updated 2 years ago
- ☆11Aug 8, 2026Updated 3 months ago
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆31Sep 20, 2021Updated 5 years ago
- Notes on the rdf/json format☆10Oct 20, 2016Updated 10 years ago
- A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…☆11Jul 6, 2021Updated 5 years ago
- A collection of problem specifications in Essence.☆10Dec 4, 2025Updated 11 months ago
- PAKCS: The Portland Aachen Kiel Curry system☆15Oct 11, 2026Updated last month
- Programming in Tabled Prolog by David S Warren☆25Mar 11, 2020Updated 6 years ago
- A stack-based VM with sets — a Prolog-compiled, s-expression-flavored language with static types, effect inference and basic optimization…☆22Oct 27, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A command-line tool for developers to get instant code reviews from state-of-the-art Large Language Models (LLMs). Supports both local mo…☆11Mar 6, 2025Updated last year
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- SWI-Prolog web server sources for www.swi-prolog.org☆21Oct 29, 2026Updated 2 weeks ago
- staging area for spitbol-linux☆36Jun 15, 2015Updated 11 years ago
- Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc☆39Nov 4, 2026Updated last week
- git mirror with some local fixes. currently not uptodate☆18Mar 10, 2023Updated 3 years ago
- Web IDE for the Picat language based on Blazor and Monaco☆13Mar 17, 2026Updated 7 months ago
- The semantic and ground lab and environment maps for projects in the IAI group in the University of Bremen☆12Oct 22, 2026Updated 3 weeks ago
- mumps compiler forked from sourceforge (Copyright Raymond Douglas Newman)☆13Mar 4, 2013Updated 13 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.
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated last year
- A json version of the OpenCyc-latest.owl Ontology☆13Oct 27, 2011Updated 15 years ago
- ☆11May 18, 2016Updated 10 years ago
- VA-Partnership to increase Access to Lung Screening☆11Jan 30, 2025Updated last year
- Mastering Ubuntu Server_Third Edition, published by Packt☆30Apr 22, 2026Updated 6 months ago
- Crash and Compile☆10Apr 10, 2018Updated 8 years ago
- This is QNial - Array Language from Nial systems. It was published under Artistic License, but seems to have disappeared after website re…☆12May 25, 2016Updated 10 years ago
Are these results useful?