Prolog Development Tool for Eclipse (PDT) -- http://sewiki.iai.uni-bonn.de/research/pdt/
☆31Mar 5, 2021Updated 5 years ago
Alternatives and similar repositories for public
Users that are interested in public are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pengine and Prolog scratchpad☆59Sep 8, 2025Updated 8 months ago
- Turn a Prolog File into a Gen Server☆21Oct 30, 2014Updated 11 years ago
- Text templating processor for SWI-Prolog.☆32Mar 14, 2020Updated 6 years ago
- XSB Prolog☆14Mar 27, 2010Updated 16 years ago
- Vaadin Flow Lab☆13May 26, 2025Updated last year
- 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.
- Modular library for manipulating physically-uncloneable functions☆20Dec 17, 2016Updated 9 years ago
- Apache Maven Doxia base☆31Updated this week
- Compute Emacs Lisp object sizes.☆10Jan 25, 2014Updated 12 years ago
- IntelliJ IDEA extension for Liberty☆18May 12, 2026Updated 2 weeks ago
- Run SWI-Prolog in your browser using WebAssemply☆79Aug 29, 2022Updated 3 years ago
- A VS Code extension that provides language support for prolog☆104Oct 30, 2023Updated 2 years ago
- My course notes for CMSC 330 (Organization of Programming Languages)☆10May 15, 2019Updated 7 years ago
- Eclipse plugins integrating Linux technologies - Docker, SystemTap, Kernel Perf, Valgrind, GGov, GProf, Vagrant, RPM, ...☆21Updated this week
- Carpet fractal genetic algorithm☆13Oct 4, 2017Updated 8 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.
- Prolog language support for Visual Studio Code☆19May 14, 2021Updated 5 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 11 years ago
- Erlang distribution as HTTP protocol upgrade☆32Dec 6, 2015Updated 10 years ago
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Aug 16, 2013Updated 12 years ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 3 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated 8 months ago
- Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'☆20May 26, 2020Updated 6 years ago
- Post-quantum trusted time-stamping server☆17Dec 11, 2024Updated last year
- Windows Application Launcher☆11Mar 10, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Programming challenges☆11Nov 21, 2018Updated 7 years ago
- char <-> Unicode character name☆24Aug 20, 2016Updated 9 years ago
- SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now☆13Mar 5, 2024Updated 2 years ago
- Optional types for Prolog☆11Aug 14, 2018Updated 7 years ago
- Rust bindings for libstrophe a C library for XMPP client and component communication☆11Jun 15, 2017Updated 8 years ago
- Apache Maven Help Plugin☆27Updated this week
- Random ideas about libraries for Prolog☆12Nov 2, 2016Updated 9 years ago
- ☆10Sep 10, 2016Updated 9 years ago
- Sample files for the Bootstrap 4.4 book (German and English editions)☆11Jan 7, 2023Updated 3 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.
- Prolog Technology Theorem Prover☆14Jun 19, 2024Updated last year
- Wireless Network Programming - The Linux Way☆10Jan 19, 2016Updated 10 years ago
- A book to build user interfaces using the Spec 2.0 framework.☆22Apr 27, 2025Updated last year
- Common Lisp with Arc Macros and Procedures☆75Jul 7, 2016Updated 9 years ago
- A collection of awesome markdown goodies, libraries, services, tools, guides, books, etc.☆15May 4, 2015Updated 11 years ago
- Regular expressions for Prolog☆17Jul 6, 2017Updated 8 years ago
- Apache Maven GPG Plugin☆30May 18, 2026Updated last week