pwilke

Pinned Repositories

compcertS
Ph.D. development - CompCert with symbolic values
Language:Coq1 2 00
cpython
The Python programming language
Language:Python00
dnsclient
A small DNS client
Language:C00
jfcp
Language:OCaml10
nixpkgs
Nix Packages collection
Language:Nix00
pwilke.github.io
Deadline countdowns for academic conferences in Security and Privacy
Language:HTML00
pwitac
Language:OCaml00
pygments
Pygments is a generic syntax highlighter written in Python
Language:Python00
seculog
Language:Coq00
smtcoq
Communication between Coq and SAT/SMT solvers
Language:OCaml00

pwilke's Repositories

pwilke/compcertS
Ph.D. development - CompCert with symbolic values
Language:Coq1 2 00
pwilke/jfcp
Language:OCaml10
pwilke/cpython
The Python programming language
Language:Python00
pwilke/dnsclient
A small DNS client
Language:C00
pwilke/nixpkgs
Nix Packages collection
Language:Nix00
pwilke/pwilke.github.io
Deadline countdowns for academic conferences in Security and Privacy
Language:HTML00
pwilke/pwitac
Language:OCaml00
pwilke/pygments
Pygments is a generic syntax highlighter written in Python
Language:Python00
pwilke/seculog
Language:Coq00
pwilke/smtcoq
Communication between Coq and SAT/SMT solvers
Language:OCaml00
pwilke/soot
Soot - A Java optimization framework
pwilke/tl-compilation
Compiler lab for InfoSec curriculum
Language:C
pwilke/xournalpp
Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input from devices such as Wacom Tablets.