Pinned Repositories
YCSB
Yahoo! Cloud Serving Benchmark
stack
The Haskell Tool Stack
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-stdlib
The Agda standard library
agda2hs
Compiling Agda code to readable Haskell
kong
The king of congs. The cong of kings.
satarash
The world needs more LRAT proof checkers. This one's in Agda.
trust-but-verify
Can CVC4 LFSC proofs be transliterated to Agda?
tyrian
Elm-inspired Scala UI library.
uncle-betty's Repositories
uncle-betty/trust-but-verify
Can CVC4 LFSC proofs be transliterated to Agda?
uncle-betty/agda
Agda is a dependently typed programming language / interactive theorem prover.
uncle-betty/agda-stdlib
The Agda standard library
uncle-betty/agda2hs
Compiling Agda code to readable Haskell
uncle-betty/kong
The king of congs. The cong of kings.
uncle-betty/satarash
The world needs more LRAT proof checkers. This one's in Agda.
uncle-betty/tyrian
Elm-inspired Scala UI library.