Pinned Repositories
bnfc
BNF Converter
dotfiles
godaddy-dyndns
DynDNS-like public IP auto-updater script for GoDaddy
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
HOL4-dash-hack
A simple hack to build a HOL4 docset for Dash
lets-prove-leftpad
Proving leftpad correct in a dozen different ways
PG
This repo is the new home of Proof General
plt-errata
Collection of errata for book Aarne Ranta, Implementing Programming Languages
vv
Verilog visualiser
AndreasLoow's Repositories
AndreasLoow/godaddy-dyndns
DynDNS-like public IP auto-updater script for GoDaddy
AndreasLoow/vv
Verilog visualiser
AndreasLoow/HOL4-dash-hack
A simple hack to build a HOL4 docset for Dash
AndreasLoow/bnfc
BNF Converter
AndreasLoow/dotfiles
AndreasLoow/haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
AndreasLoow/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
AndreasLoow/lets-prove-leftpad
Proving leftpad correct in a dozen different ways
AndreasLoow/PG
This repo is the new home of Proof General
AndreasLoow/plt-errata
Collection of errata for book Aarne Ranta, Implementing Programming Languages
AndreasLoow/py
AndreasLoow/sv-tests
Test suite designed to check compliance with the SystemVerilog standard.
AndreasLoow/weight
Visualize weight data from Beurer HealthManager
AndreasLoow/yadkard
An online citation generator for Wikipedia