Top 421 prolog open source projects

qt实现的onvif的客户端

This is the undocumented source code of an OpenGL jungle viewer written as part of a scholar project.

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.

Implementation of Conway's "Game Of Life" in Qt

Qt Widget for cropping images

simple example of using the OpenGL Core Profile with PyQt, numpy, and PyOpenGL

Exercise of the book Algorithms In C, Part 1-4, Fundamentals, Data Strcuture, Sorting, Searching, written by Robert Sedgewick

No description, website, or topics provided.

Demo SWI-Prolog HTTP based chat server

No description, website, or topics provided.

A Javascript implementation of Prolog

Port of Aleph to SWI-Prolog

Qt Backend for HTML5 Canvas (Via QPA eventually)

A simple example showing how to use threads on Qt

Oozie Samples

(Explainable AI) - Learning Non-Monotonic Logic Programs From Statistical Models Using High-Utility Itemset Mining

A Clang/LLVM add-on to enforce coding rules

A web only WYSIWYG note taking app that saves notes locally in markdown format.

Language Server Protocol server for SWI-Prolog

Circuits and patches for MIDI control over DMX lights

802.15.4 and BLE cape for the BeagleBone Black

Higher Order Prolog with Extensional Semantics

Deprecated

OpenSSL 1.0.1c For Android

Qt+OpenCV libraries

A curated collection of resources that may be beneficial for anyone pursuing the OSCE.

No description, website, or topics provided.

Simple news feed app for Android, built with sort of MVI + Clean Architecture

No description, website, or topics provided.

Example Problems and Assignments for Prolog

Polynomial-time Meta-Interpretive Learning

A swiss army knife to generate proton-disordered ice structures.

(INACTIVE) Python-on-a-Chip (p14p) : a tiny Python 2.6 vm (PyMite) for 8-bit and larger microcontrollers

No description, website, or topics provided.

A Python platform for Structural Bioinformatics

A stick figure animator for keyframed animation

Space Weather JHelioviewer ☉

bingot (bit + ingot) is a simple cryptocurrency implementation in C++ and Qt.

An ownCloud syncing client

Euler is an open source logic toolkit for aligning taxonomies and visualizing the results; see http://sysbio.oxfordjournals.org/cgi/reprint/syw023? ijkey=a0EkUEzzS2tpSL3&keytype=ref Demonstration videos are here: https://vimeo.com/126527661 and here: http://www2.cs.uic.edu/~tdang/ProvenanceMatrix/video.mp4

Prolog puzzles for fun and profit (mostly fun)

Air Cursor library for Qt applications using Kinect

SeoulTech 2020 PL course

A Collection of Project Wizard for Qt Creator

No description, website, or topics provided.

BigMAC: Analysis tool to introspect and query Android security policies.

A standalone version of the WebKit server in capybara-webkit.

Data analytics toolkit part of the KAVE, installable stand-alone

CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)

Qt 编写的数据库连接池组件