Beast code in Giters

Edison Mera's repositories

refactor

Refactoring Tools for SWI-Prolog

Language:PrologNOASSERTION19 6 2

assertions

Ciao Assertion Reader for SWI-Prolog

Language:PrologNOASSERTION4 40

xtools

Extended tools for Prolog

Language:PrologNOASSERTION300

plsteroids

Scripts to facilitate testing and development of the Prolog libraries published here.

Language:CNOASSERTION2 20

rtchecks

Run-Time Checking for Ciao and SWI-Prolog

Language:PrologNOASSERTION2 40

xlibrary

Extended libraries for Prolog

Language:PrologNOASSERTION2 3 1

ciao

Ciao Prolog compatibility library

Language:Prolog1 20

clpcd

CLPCD: constraints over continuous domains

Language:Prolog100

idfpml

CLP wrapper for Intel Decimal Floating Point Math Library

Language:C1 20

packages-pldoc

The SWI-Prolog documentation system

Language:Prolog1 40

andorra

Migration of andorra library to SWI-Prolog

Language:Prolog000

Apollo-11

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

Language:Assembly000

bench

Prolog benchmarks (`van Roy' set)

Language:Prolog020

documents

Tricks and tutorials to solve problems that where not solved by googling them

Language:ShellCC0-1.0020

ev3dev-c

LEGO MINDSTORMS EV3 Debian C library + Python, Ruby and Perl wrappers

Language:CMIT000

pianobooster

Forked from pianobooster-src-0.6.4b in http://pianobooster.sourceforge.net/

Language:C++NOASSERTION030

stchecks

Static Checks for Prolog programs and Assertions

Language:PrologNOASSERTION000

swipl-devel

Main development repository

Language:CNOASSERTION000

ttg

Timetable Generator

Language:DelphiGPL-3.0020

USB-MIDI-Driver

USB MIDI Driver for Android 3.1 or later

000