Pinned Repositories
aws-cryptographic-material-providers-library-dafny
aws-cryptographic-material-providers-library-java
AWS Cryptographic Material Providers Library for Java
core-to-isabelle
Translator from GHC Core to Isabelle/HOLCF
dalvik
Haskell parser for Dalvik bytecode
dtrace
Haskell bindings to DTrace
edp
Existential Diagram Prover
homebrew
The missing package manager for OS X.
hsquicklook
A QuickLook plugin for Haskell syntax highlighting
language-c-binary
Binary instances for data types from the langauge-c package
language-c-uniplate
Uniplate instances for data types from the language-c package
atomb's Repositories
atomb/core-to-isabelle
Translator from GHC Core to Isabelle/HOLCF
atomb/dalvik
Haskell parser for Dalvik bytecode
atomb/edp
Existential Diagram Prover
atomb/aws-cryptographic-material-providers-library-dafny
atomb/aws-cryptographic-material-providers-library-java
AWS Cryptographic Material Providers Library for Java
atomb/aws-encryption-sdk-dafny
AWS Encryption SDK for Dafny
atomb/boogie
Boogie
atomb/boogieamp
Java parser for the Boogie intermediate verification language
atomb/ccx
Experiments with the CC(X) algorithm
atomb/dafny
Dafny is a verification-aware programming language
atomb/data-inttrie
A simple, lazy trie of integers
atomb/hashable
A class for types that can be converted to a hash value
atomb/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
atomb/jar2bpl
Translate java jar files into Boogie programs
atomb/lean-auto
Experiments in automation for Lean
atomb/libraries
Libraries useful for Dafny programs
atomb/llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
atomb/logue-sdk
This repository contains all the files and tools needed to build custom oscillators and effects for the prologue synthesizer.
atomb/monad-supply
Support for computations which consume values from a (possibly infinite) supply.
atomb/music-ref
atomb/openssl
TLS/SSL and crypto library
atomb/prover-comparison-wp
Comparative proofs of the soundness of weakest preconditions using several interactive provers
atomb/rupert
Some libraries for logical data structures and reasoning in Rust
atomb/s2n
s2n : an implementation of the TLS/SSL protocols
atomb/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
atomb/secdev18-saw
Slides and examples for the Continuous Verification tutorial at IEEE SecDev 2018
atomb/setup-dafny-action
Action for installing Dafny
atomb/smithy-dafny
atomb/statement-on-lambdaconf.github.io
atomb/symdiff
SymDiff Differential Program Verifier