Andreas Lööw's repositories
godaddy-dyndns
DynDNS-like public IP auto-updater script for GoDaddy
HOL4-dash-hack
A simple hack to build a HOL4 docset for Dash
bnfc
BNF Converter
Language:TeX000
Language:Emacs Lisp000
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
Language:HaskellNOASSERTION000
HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Language:Standard MLNOASSERTION000
lets-prove-leftpad
Proving leftpad correct in a dozen different ways
Language:IsabelleNOASSERTION000
PG
This repo is the new home of Proof General
Language:Emacs LispGPL-2.0000
plt-errata
Collection of errata for book Aarne Ranta, Implementing Programming Languages
Language:PythonMIT000
sv-tests
Test suite designed to check compliance with the SystemVerilog standard.
ISC000