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:Rust5 2 01
concorde
Language:Rust2 1 00
daft
Verified code written in the Dafny programming language.
Language:JavaScript0 2 00
fibril
Language:Rust6 2 20
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#2.1k 61 391380
stateright
A model checker for implementing distributed systems.
Language:Rust1.6k 23 3157
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 98 1.1k374

jonnadal's Repositories

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