jonnadal

I'm interested in formal verification and am working on the @stateright model checker for verifying the correctness of distributed systems.

Pinned Repositories

choice
A rust library for representing a choice between types.
Language:Rust2 2 01
concorde
Language:Rust10
daft
Verified code written in the Dafny programming language.
Language:JavaScript0 2 00
fibril
Language:Rust40
hashable
HashMap and HashSet replacements that implement the Hash trait
Language:Rust2 2 00
jonnadal.github.io
Language:HTML0 2 00
shouldly
Should testing for .NET—the way assertions should be!
Language:C#2k 61 389379
stateright
A model checker for implementing distributed systems.
Language:Rust1.5k 23 3155
cabal-meta
avoid cabal dependency hell by installing all your cabal dependencies at the same time
Language:Haskell36 10 1710
yesod
A RESTful Haskell web framework built on WAI.
Language:Haskell2.6k 99 1.1k368

jonnadal's Repositories

jonnadal/fibril
Language:Rust40
jonnadal/choice
A rust library for representing a choice between types.
Language:Rust2 2 01
jonnadal/hashable
HashMap and HashSet replacements that implement the Hash trait
Language:Rust2 2 00
jonnadal/concorde
Language:Rust10
jonnadal/daft
Verified code written in the Dafny programming language.
Language:JavaScript0 2 00
jonnadal/jonnadal.github.io
Language:HTML0 2 00