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 7 months ago
- ☆21Updated this week
- Turn a Prolog File into a Gen Server☆21Oct 30, 2014Updated 11 years ago
- Julia plugin for Light Table☆57Dec 8, 2015Updated 10 years ago
- eclipse plugin to support side-by-side proofs and code☆25Dec 18, 2018Updated 7 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.
- Prolog binding for terminusdb-store☆22Jun 13, 2022Updated 3 years ago
- Arquillian Tomcat Containers project provides DeployableContainer implementations for managing the lifecycle of Tomcat instances within A…☆27Apr 28, 2026Updated last week
- GeSWall, Intrusion Prevention System for Windows☆22Jan 18, 2026Updated 3 months ago
- Modular library for manipulating physically-uncloneable functions☆20Dec 17, 2016Updated 9 years ago
- Generalized version of the Speck cipher for integer obfuscation☆10Sep 16, 2024Updated last year
- JBossWS-CXF stack (integration with Apache CXF)☆15Updated this week
- A FAR-like file manager for Emacs☆50Feb 16, 2023Updated 3 years ago
- IntelliJ IDEA extension for Liberty☆17Updated this week
- An example of using hystrix with vert.x☆22Feb 18, 2014Updated 12 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.
- Run SWI-Prolog in your browser using WebAssemply☆78Aug 29, 2022Updated 3 years ago
- ☆15Updated this week
- My course notes for CMSC 330 (Organization of Programming Languages)☆10May 15, 2019Updated 6 years ago
- Eclipse plugins integrating Linux technologies - Docker, SystemTap, Kernel Perf, Valgrind, GGov, GProf, Vagrant, RPM, ...☆21Apr 29, 2026Updated last week
- Carpet fractal genetic algorithm☆13Oct 4, 2017Updated 8 years ago
- Example node images for use with Warewulf 4☆20Apr 2, 2026Updated last month
- Prolog language support for Visual Studio Code☆19May 14, 2021Updated 4 years ago
- Code for the StatNLP course homework.☆21Jun 4, 2023Updated 2 years ago
- Matrix-Vector Multiplication Using Shared and Coalesced Memory Access☆16Apr 9, 2013Updated 13 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.
- Prolog plugin for Intellij IDEA☆28Mar 5, 2023Updated 3 years ago
- Python toolbox for graphical models☆22Mar 31, 2026Updated last month
- 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 2 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated 7 months ago
- ☆25Sep 20, 2024Updated last year
- Tensorflow implementation of Direct and Random feedback Alignment☆25Nov 14, 2016Updated 9 years ago
- Post-quantum trusted time-stamping server☆17Dec 11, 2024Updated last year
- A simple date picker developed as a Angular2 component☆13Sep 9, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now☆13Mar 5, 2024Updated 2 years ago
- Blogging/CMS framework for SWI-Prolog.☆23Mar 2, 2023Updated 3 years ago
- Optional types for Prolog☆11Aug 14, 2018Updated 7 years ago
- Dockerfile for the OpenJDK11 Alpine Linux builds: http://jdk.java.net/11/☆21Jan 28, 2020Updated 6 years ago
- This version extend from cudaminer which is the fastest Litecoin miner for NVIDIA GPUs. I customize code to run cuda on maximum GPU perfo…☆33Apr 16, 2017Updated 9 years ago
- Rust bindings for libstrophe a C library for XMPP client and component communication☆11Jun 15, 2017Updated 8 years ago
- A book to build user interfaces using the Spec 2.0 framework.☆22Apr 27, 2025Updated last year