uncle-betty

Pinned Repositories

YCSB
Yahoo! Cloud Serving Benchmark
Language:Java4.9k 215 9522.2k
stack
The Haskell Tool Stack
Language:Haskell4k 99 4.3k845
agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell00
agda-stdlib
The Agda standard library
Language:Agda0 1 00
agda2hs
Compiling Agda code to readable Haskell
Language:Agda00
kong
The king of congs. The cong of kings.
Language:Agda00
satarash
The world needs more LRAT proof checkers. This one's in Agda.
Language:Agda00
trust-but-verify
Can CVC4 LFSC proofs be transliterated to Agda?
Language:Agda60
tyrian
Elm-inspired Scala UI library.
Language:Scala00

uncle-betty's Repositories

uncle-betty/trust-but-verify
Can CVC4 LFSC proofs be transliterated to Agda?
Language:Agda60
uncle-betty/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell00
uncle-betty/agda-stdlib
The Agda standard library
Language:Agda0 1 00
uncle-betty/agda2hs
Compiling Agda code to readable Haskell
Language:Agda00
uncle-betty/kong
The king of congs. The cong of kings.
Language:Agda00
uncle-betty/satarash
The world needs more LRAT proof checkers. This one's in Agda.
Language:Agda00
uncle-betty/tyrian
Elm-inspired Scala UI library.
Language:Scala00