triska's Stars
git/git
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documentation/SubmittingPatches procedure for any of your improvements.
emacs-mirror/emacs
Mirror of GNU Emacs
shellinabox/shellinabox
Official-ish Fork of Shell In A Box
ch11ng/exwm
Emacs X Window Manager
Mercury-Language/mercury
The Mercury logic programming system.
Tarsnap/tarsnap
Command-line client code for Tarsnap.
wbhart/bsdnt
BSD Licensed Bignum Library
jiprolog/jiprolog
JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
JCumin/Brachylog
A terse declarative logic programming language
luser-dr00g/xpost
A PostScript interpreter in C
jrmuizel/pyunum
Python port of the Mathematica unum prototype from "The End of Error"
fnogatz/swivm
SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
tbreloff/Unums.jl
Unum (Universal Number) types and operations
ianhorswill/UnityProlog
A mostly ISO-compliant Prolog interpreter for Unity3D
rfindler/395-2013
tunnuz/cpplex
Multi-platform, self-contained and object-oriented implementation of the Simplex Algorithm in C++
CapelliC/fdqueens
running a GUI based on pqConsole - show solving N-Queens by means of CLP(FD)
lee-naish/Pawns
Pawns declarative/imperative programming language
CapelliC/pqConsole
Qt Console running multi threaded SWI-Prolog
CapelliC/loqt
Logic Objects and Qt
hisui/prolog
A Prolog interpreter for embedding into Java app
epeld/pl-chess
Chess Utilities in Prolog
ftsrg-edu/ndp
Nagyhatékonyságú deklaratív programozás (VISZMB01) jegyzet
SWI-Prolog/packages-ssl
The SWI-Prolog SSL interface
cbarrick/ripl
Prolog in Rust (incomplete)
samwalrus/mapchat
This is a prolog program for chatting with locations being shared on a map
mndrix/tp
Patch-centric git porcelain, inspired by darcs