AndreasLoow/rocq-mcp
MCP server for the Rocq prover
Repositories
AndreasLoow/dotfiles
AndreasLoow/cvc5-wasm
cvc5 compiled to WebAssembly as a library: one persistent module, one synchronous solve(script) call
AndreasLoow/PG
This repo is the new home of Proof General
AndreasLoow/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
AndreasLoow/vv
Verilog visualiser
AndreasLoow/iverilog
Icarus Verilog
AndreasLoow/verilog-simulation-semantics-experiments
AndreasLoow/godaddy-dyndns
DynDNS-like public IP auto-updater script for GoDaddy
AndreasLoow/plt-errata
Collection of errata for book Aarne Ranta, Implementing Programming Languages
AndreasLoow/sv-tests
Test suite designed to check compliance with the SystemVerilog standard.
AndreasLoow/haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
AndreasLoow/HOL4-dash-hack
A simple hack to build a HOL4 docset for Dash
AndreasLoow/weight
Visualize weight data from Beurer HealthManager
AndreasLoow/lets-prove-leftpad
Proving leftpad correct in a dozen different ways
AndreasLoow/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
AndreasLoow/bnfc
BNF Converter
AndreasLoow/py
AndreasLoow/yadkard
An online citation generator for Wikipedia