Top 421 prolog open source projects

Opinionated garbage for your terminal. Gotta get that yolo swag.

Script to convert a MP4 file into MPEG-DASH

www.bio-tracking.org

Annotation processor, generating AIDL proxy/stub from Java interface definition

Repository for my journey through the #7languages7weeks challenge, plus blog.

E-book reader for EPUB format books

A simple prolog expert system for diagnosing some lung diseases

Reactive Bolts-Android Framework

No description, website, or topics provided.

moboot - Mobile Open Bootloader- bootloader for the HP Touchpad (for now)

PyQt4 frontend for git filter-branch/git cherry-pick.

Implicit metaprogramming tutorial for Scala

Art of Prolog Code

Maple Native schematics

Tools to make linux firmware for rockchip platform.

Mobilization VI Schedule app

A benchmark library for constraints

📚Life at UNI

The slashcode repository for SoylentNews. The initial code base was uploaded as it appeared on Sourceforge as of the last commit in September 2009

👁️ 🐝 Ⓜ️

Learning by Reading pipeline of NLP and Entity Linking tools

No description, website, or topics provided.

A tutorial for DCG's in swi-Prolog

A programming language supporting most of both declarative and imperative programming

Video effects engine based on web technologies.

Prolog language for the .NET Framework

星杯传说，已实现全27角色，master是Qt5，test是Qt4（不再维护）

قاموس فرنسي-عربي موجه إلى طلبة السنة الأولى للشعب التقنية الجامعية

RAT - Radar Tools: SAR image processing toolbox (discontinued)

C++ port of JUnit

Lojban ologs (categorical databases) using jq

u-boot for mt7620 with uip.

Some items in /home/kiedtl/etc

This repository contains f95, IDL, MatLab, and C++ versions of a 3D rotations conversion library.

Track KLT Features using Optical Flow (Qt 5 OpenCV / C++)

The Unified Phenotype Ontology (uPheno) integrates multiple phenotype ontologies into a unified cross-species phenotype ontology.

Blogging/CMS framework for SWI-Prolog.

No description, website, or topics provided.

The Pocket-Groundstation is a mini ground station that will accept any Fatshark module.

Popper is an inductive logic programming (ILP) system.

ramanPi - the DIY 3D Printable Raman Spectrometer

Material ajutator pentru sesiune

No description, website, or topics provided.

The App Framework for Startups

A Beaglebone QT example

Spartan 3E/Cortex M3 interface board

Simple QML Demo to showcase Freescale/GPU features

Cleaning other people's dirty data.

Simple multiplatform Twitter client based on Qt library

An ontology of gross anatomy covering metazoa. Works in concert with https://github.com/obophenotype/cell-ontology