triska's Stars
onlurking/awesome-infosec
A curated list of awesome infosec courses and training resources.
stanislaw/awesome-safety-critical
List of resources about programming practices for writing safety-critical software.
tau-prolog/tau-prolog
An open source Prolog interpreter in JavaScript
bitlaw-jp/the-constitution-of-japan
akirakyle/emacs-webkit
An Emacs Dynamic Module for WebKit, aka a fully fledged browser inside emacs
adaptivecapacitylabs/Resilience-Engineering-Resources
This is a collection of readings, talks, and other bits regarding the field of Resilience Engineering
metagol/metagol
Metagol - an inductive logic programming system
Web-Prolog/swi-web-prolog
A proof-of-concept SWI-Prolog implementation of Web Prolog
nayuki/Bitcoin-Cryptography-Library
Nayuki's implementation of cryptographic primitives used in Bitcoin.
tatut/pgprolog
PostgreSQL Prolog language handler
didoudiaz/gprolog
GNU Prolog
aarroyoc/postgresql-prolog
A Prolog library to connect to PostgreSQL databases
theoremprover-museum/logic-theorist
The sources of the first theorem prover.
dcnorris/precautionary
Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation in PKPD.
aarroyoc/doclog
DocLog builds documentation from source code in Prolog
aarroyoc/teruel
Template engine for ISO Prolog, based on Jinja and Tera
mthom/prolog_parser
An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
aarroyoc/scryer-playground
Web playground to try Scryer Prolog in your browser!
twinone/logsolve
Logic puzzle game solver
bakaq/constrained.pl
Provides generalized versions of common Prolog predicates using constraints to make them more flexible and declarative.
FelixHenninger/socialgolfer.js
Implementation of the GRASP algorithm for solving social golfers problems
hessammehr/Logic.jl
A typed Prolog interpreter in Julia
jocap/russian-numbers
Prolog description of the relationship between a number and its full Russian name.
luser-dr00g/cv
my resume + quine
aarroyoc/pra2do
Pra2do allows you to create interactive applications in Prolog
aarroyoc/scryer-http-lyncex
Scryer HTTP Server dev version and test suite
fpvandoorn/Dagstuhl-tables
Dagstuhl's Happy Diner Problem
JCumin/the-power-of-prolog
Introduction to modern Prolog
tgrospic/bitcoinolog
Reason about Bitcoin addresses with Prolog
xiaoerlaigeid/the-power-of-prolog
Introduction to modern Prolog