triska's Stars
chrislgarry/Apollo-11
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
gnachman/iTerm2
iTerm2 is a terminal emulator for Mac OS X that does amazing things.
novnc/noVNC
VNC client web application
hishamhm/htop
htop is an interactive text-mode process viewer for Unix systems. It aims to be a better 'top'.
mthom/scryer-prolog
A modern Prolog implementation written mostly in Rust.
UniMath/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
jarble/transpiler
A universal translator for programming languages
yuce/pyswip
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
UniMath/Foundations
Voevodsky's original development of the univalent foundations of mathematics in Coq
tromey/el-compilador
An SSA-based compiler for Emacs Lisp
AmziLS/AmziProlog
Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
evoldoers/biomake
GNU-Make-like utility for managing builds and complex workflows
fifth-postulate/julian
Date and time library for Prolog
samer--/prolog
Prolog stuff
alehander92/hatlog
custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
thetrime/proactive
Prolog and Java version of Facebook's React concept
jwmerrill/Pnums.jl
Unums 2.0 for Julia
thetrime/proscript2
If at first you don't succeed
Limmen/erl_pengine
Erlang Pengine, Erlang client to prolog pengine server.
ANSSI-FR/ProTIP
ProTIP permet de caractériser la connectivité réelle entre composants d'une architecture PCI Express
JanWielemaker/tabling_library
Benoit Desouter's library for tabling on delimited continuations
mjones-credera/prolog-samples
Sample Prolog code
fnogatz/CHR-Constraint-Server
A Persistent CHR Webserver
JCumin/Arithmelog
A library of Prolog predicates for CLP(FD) arithmetic.
luser-dr00g/pstut
Postscript tutorial
ihh/biomake
Make-like build system based on prolog
Omar-Saleh/CLPFDScheduler
This is a school project where it is required to implement a university scheduler for students to automate the advising process and make advisors life easier. The Implementation takes into account the student wishes and compromises between various constraints e.g obligatory courses, students perferred courses, minimum days off etc. The project is implemented in prolog, using the CLPFD library.
fruchtzwerg/Wissensverarbeitung
pdferreira/pizzasolver
yevhene/present-prolog