Pinned Repositories
bitcoin-s
Bitcoin Implementation in Scala
bitcoin-s-verification
Using the Stainless Verifier on Bitcoin-S
CatMaude
Categories in Maude
dicomb
deep inference combinators
MaudeXEmacs
Maude Mode for XEmacs
public
RaMoG
Rational Model Generator
rezepte
typeshed
Collection of library stubs for Python, with static types
typeshed
Collection of library stubs for Python, with static types
kaibr's Repositories
kaibr/dicomb
deep inference combinators
kaibr/bitcoin-s-verification
Using the Stainless Verifier on Bitcoin-S
kaibr/CatMaude
Categories in Maude
kaibr/MaudeXEmacs
Maude Mode for XEmacs
kaibr/RaMoG
Rational Model Generator
kaibr/public
kaibr/rezepte
kaibr/typeshed
Collection of library stubs for Python, with static types