atomb Goto Github PK

aws-cryptographic-material-providers-library-dafny

aws-cryptographic-material-providers-library-java

AWS Cryptographic Material Providers Library for Java

aws-encryption-sdk-dafny

AWS Encryption SDK for Dafny

boogie

Boogie

boogieamp

Java parser for the Boogie intermediate verification language

ccx

Experiments with the CC(X) algorithm

core-to-isabelle

Translator from GHC Core to Isabelle/HOLCF

dafny

Dafny is a verification-aware programming language

dalvik

Haskell parser for Dalvik bytecode

data-inttrie

A simple, lazy trie of integers

dtrace

Haskell bindings to DTrace

edp

Existential Diagram Prover

hashable

A class for types that can be converted to a hash value

homebrew

The missing package manager for OS X.

homebrew-core

🍻 Default formulae for the missing package manager for macOS (or Linux)

hsquicklook

A QuickLook plugin for Haskell syntax highlighting

jar2bpl

Translate java jar files into Boogie programs

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

lean-auto

Experiments in automation for Lean

libraries

Libraries useful for Dafny programs

llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

logue-sdk

This repository contains all the files and tools needed to build custom oscillators and effects for the prologue synthesizer.

monad-supply

Support for computations which consume values from a (possibly infinite) supply.

music-ref

openssl

TLS/SSL and crypto library

prover-comparison-wp

Comparative proofs of the soundness of weakest preconditions using several interactive provers

rupert

Some libraries for logical data structures and reasoning in Rust

s2n

s2n : an implementation of the TLS/SSL protocols

sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.