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 10 months ago
- ☆21Updated this week
- eclipse plugin to support side-by-side proofs and code☆25Dec 18, 2018Updated 7 years ago
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 5 years ago
- Prolog binding for terminusdb-store☆22Jun 13, 2022Updated 4 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.
- Vaadin Flow Lab☆13May 26, 2025Updated last year
- Arquillian Tomcat Containers project provides DeployableContainer implementations for managing the lifecycle of Tomcat instances within A…☆28Jul 2, 2026Updated last week
- GeSWall, Intrusion Prevention System for Windows☆22Jan 18, 2026Updated 5 months ago
- Modular library for manipulating physically-uncloneable functions☆20Dec 17, 2016Updated 9 years ago
- Compute Emacs Lisp object sizes.☆10Jan 25, 2014Updated 12 years ago
- IntelliJ IDEA extension for Liberty☆18Jul 1, 2026Updated last week
- Run SWI-Prolog in your browser using WebAssemply☆80Aug 29, 2022Updated 3 years ago
- ☆16Jun 27, 2026Updated last week
- Carpet fractal genetic algorithm☆13Oct 4, 2017Updated 8 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.
- The BioScript compiler, ChemStor storage, and Application Binder.☆53Jul 9, 2024Updated 2 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 11 years ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 3 years ago
- ☆26Sep 20, 2024Updated last year
- YAP Development release☆18Jan 16, 2021Updated 5 years ago
- Post-quantum trusted time-stamping server☆17Dec 11, 2024Updated last year
- Programming challenges☆11Nov 21, 2018Updated 7 years ago
- char <-> Unicode character name☆25Aug 20, 2016Updated 9 years ago
- A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…☆15Jul 10, 2014Updated 11 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.
- Optional types for Prolog☆11Aug 14, 2018Updated 7 years ago
- stylish-haskell support for VS code☆14Jan 15, 2021Updated 5 years ago
- DCG utility predicates for Prolog☆10Jan 3, 2015Updated 11 years ago
- Sample files for the Bootstrap 4.4 book (German and English editions)☆11Jan 7, 2023Updated 3 years ago
- COMMS Software for UPSat☆12Dec 17, 2018Updated 7 years ago
- Prolog Technology Theorem Prover☆14Jun 19, 2024Updated 2 years ago
- Window icons support in the titlebar for the i3 window manager☆11Jan 5, 2020Updated 6 years ago
- Regular expressions for Prolog☆17Jul 6, 2017Updated 9 years ago
- Apache Commons Parent☆36Jul 2, 2026Updated last week
- 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.
- Violets are BLUE. OLS is too. (R package)☆14Aug 11, 2023Updated 2 years ago
- Prolog list utility predicates☆11Jul 19, 2018Updated 7 years ago
- JBoss Log Manager☆39Jun 29, 2026Updated last week
- A mirror of https://git.tecosaur.net/tec/pdftotext.el☆12Jan 4, 2024Updated 2 years ago
- Blender用漫画addon群☆15Feb 11, 2019Updated 7 years ago
- A Node.js interface to the SWI-Prolog communicating over stdio.☆10Mar 14, 2020Updated 6 years ago
- All code and content for my blog.☆15Sep 23, 2018Updated 7 years ago