noschinl/unbounded-delays
Unbounded thread delays and timeouts
Developer Profile
noschinl
Discovered public repositories for noschinl in the GitHub catalog.
noschinl/tasty-html
HTML test reporter for the Tasty test framework
noschinl/tasty
Modern and extensible testing framework for Haskell
noschinl/isabelle-patsubst
Implementation of a pattern-based substitution method for Isabelle
noschinl/Smack
An Open Source XMPP (Jabber) client library
noschinl/cyp
Checker for "morally correct" induction proofs about haskell programs
noschinl/pratt
A formalization of Pratt's Prime Number Certificates in Isabelle