The GOSPL is a public collection of POPLOG source code that is reviewed and maintained by Stephen Leach.
☆11Oct 27, 2014Updated 11 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
- ☆32Sep 22, 2026Updated last month
- Poplog☆22Nov 18, 2010Updated 15 years ago
- programs written in Picat☆13Jun 18, 2026Updated 4 months ago
- SETL4 brings the raw power and speed of SPITBOL to non-numeric computation using set-theoretic constructs.☆14Jun 13, 2019Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- GNU SETL☆39Feb 7, 2025Updated last year
- A VS Code extension supporting for Picat language☆18Oct 27, 2018Updated 7 years ago
- Corman Lisp. linux port☆11Jul 12, 2026Updated 3 months ago
- 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 3 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
- SPITBOL x32 provides raw power and speed for non-numeric computation on the i386 architecture☆23Feb 10, 2017Updated 9 years ago
- ☆11Aug 8, 2026Updated 2 months ago
- My unofficial picat http://picat-lang.org/ repository☆32Jan 11, 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.
- A stack-based VM with sets — a Prolog-compiled, s-expression-flavored language with static types, effect inference and basic optimization…☆20Oct 13, 2026Updated last week
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- staging area for spitbol-linux☆36Jun 15, 2015Updated 11 years ago
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆30Sep 20, 2021Updated 5 years ago
- PAKCS: The Portland Aachen Kiel Curry system☆16Oct 11, 2026Updated last week
- A collection of problem specifications in Essence.☆10Dec 4, 2025Updated 10 months ago
- Programming in Tabled Prolog by David S Warren☆25Mar 11, 2020Updated 6 years ago
- An automatic first-order theorem prover in Haskell☆12Oct 16, 2015Updated 11 years ago
- Frame Representation Language☆14Mar 14, 2018Updated 8 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.
- 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
- SWI-Prolog web server sources for www.swi-prolog.org☆21Updated this week
- git mirror with some local fixes. currently not uptodate☆18Mar 10, 2023Updated 3 years ago
- Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc☆39Oct 12, 2026Updated last week
- Web IDE for the Picat language based on Blazor and Monaco☆13Mar 17, 2026Updated 7 months ago
- mumps compiler forked from sourceforge (Copyright Raymond Douglas Newman)☆13Mar 4, 2013Updated 13 years ago
- The semantic and ground lab and environment maps for projects in the IAI group in the University of Bremen☆12Updated this week
- A json version of the OpenCyc-latest.owl Ontology☆13Oct 27, 2011Updated 14 years ago
- ☆11May 18, 2016Updated 10 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.
- Mastering Ubuntu Server_Third Edition, published by Packt☆30Apr 22, 2026Updated 6 months 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
- Crash and Compile☆10Apr 10, 2018Updated 8 years ago
- A basic wrapper to allow access to OEIS from within Julia.☆17Apr 29, 2020Updated 6 years ago
- In the "Smit-Batch-11" repository, you'll find all the code from our SMIT Batch 11 classes. This includes examples, exercises, and projec…☆17Sep 5, 2025Updated last year
- An Earley parser in C#☆10Sep 18, 2010Updated 16 years ago
- Metacognitive Integrated Dual-Cycle Architecture, Version 1.4☆10Jul 27, 2018Updated 8 years ago