Top 421 prolog open source projects

302. wamcompiler
Prolog implementation based on Warren's abstract machine
303. QCar
Car computer software written in Qt/QML & C++
✭ 29
C++prolog
304. youdao-qt
有道词典的QT版本
✭ 39
C++prolog
305. retired-pg-dev
This is the old dev repo for pg code, please use PG: branch develop (and the git flow style if at all possible) for future development
✭ 14
perlprolog
306. scripts
scripts to extend the unix environment
307. together
a simple app about MVP+Dagger2+Retrofit
✭ 13
javaprolog
308. openadk
Open Source Appliance Development Kit (mirror)
309. smith corona printer
Converting a 1960s era Smith Corona typewriter to a printer using solenoids, circuits, and code.
310. Android-LiveEdit
A EditText which can input text content with pc web brower.
311. Clex
Large lexicon for APE (~100,000 entries)
✭ 24
prolog
313. clpBNR
CLP(BNR) module for SWI-Prolog
✭ 28
prolog
314. CppUnit
CppUnit implementation
315. Simple-Prolog
A simple Prolog interpreter
316. QtGifImage
QImages to/from an animated .gif file
✭ 35
cC++prolog
317. jtv-downloader
[DEAD][C++/Qt4] Justin.tv / Twitch.tv live stream recorder & viewer. (rtmpdump front-end)
✭ 18
C++prolog
318. seven-languages-in-seven-weeks
Working through the exercises from Seven Languages In Seven Weeks
319. dotfiles
A work in progress. Forever.
320. RedisConsole
GUI client for Redis DB with embedded console (written in Qt)
✭ 51
C++prolog
322. logicmoo clif
Base Forward Chaining Knowledge Base Maintenance System
323. CertWare
No description, website, or topics provided.
324. BareDuino
Arduino compatible boards
✭ 18
prolog
325. MuseOpenIG
The Muse OpenIG. An opensource OpenSceneGraph based image generator application suite.
326. deepmath
deep learning for math
✭ 24
perlprolog
327. pdfmef
Multi-Entity Extraction Framework for Academic Documents (with default extraction tools)
328. cmsc330examples
Examples from the class CMSC 330 during Summer 2015
329. logtalk2
Logtalk 2.x development version
330. mlp
Disciplina de Modelos de Linguagens de Programação - INF/UFRGS
331. lyx-gc
A Grammar Checker for LyX and LaTeX
332. frederiksberg beamer
LaTex beamer theme for the University of Copenhagen
334. OSCShark
OSC Shark is a tool for monitoring and analysing OSC (Open Sound Control) packets.
335. OpenIndy
Open source software solution for industrial measurement (metrology, laser tracker, quality control)
336. regex
Regular expressions for Prolog
337. wfdb
The Waveform Database Software Package
339. VNMT
Code for "Variational Neural Machine Translation" (EMNLP2016)
340. F4Dev
Development board for the STM32F4 microcontrollers
✭ 17
prolog
341. AceRules
A rule engine based on Attempto Controlled English
342. barrelfish
Mirror of the official Barrelfish OS repository.
343. Niz-Plum-84EC-S-Pro-Ble-Non-RGB-manual
Translated English Manual for Niz Plum 84EC(S) Pro-Ble Non RGB manual keyboard
✭ 102
prolog
344. ZMQtNetwork
使用Qt,通过zmq的C++接口进一步封装,并提供基于多对一的服务器模式与一对多的推送模式的客户端与服务器实现。
✭ 12
C++cprolog
345. node-prolog-swi
A node.js interface to the SWI-Prolog library
346. dotfiles
alias, bash, brewfile, duti, function, i3, irssi, iterm2, jailbreak, macos, prompt, refind, searchengines, sessionbuddy, vscode, zsh
347. srlearn
☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.
348. proguard-config
Common library proguard configuration for android develop !
349. Intro-Design-Patterns-Cpp-Qt5
Porting the source code from the book "An Introduction to Design Patterns in C++ with Qt" by Alan & Paul Ezust from Qt 4 to Qt 5, and a bit of C++11.
350. dotfiles
Collection of my various configuration dotfiles
301-350 of 421 prolog projects