Edison Mera's repositories
assertions
Ciao Assertion Reader for SWI-Prolog
plsteroids
Scripts to facilitate testing and development of the Prolog libraries published here.
packages-pldoc
The SWI-Prolog documentation system
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
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/
stchecks
Static Checks for Prolog programs and Assertions
Language:PrologNOASSERTION000
swipl-devel
Main development repository
Language:CNOASSERTION000
USB-MIDI-Driver
USB MIDI Driver for Android 3.1 or later
000