seanmcl

imogen

kms-compliance-example

aws-c-common

Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.

aws-cdk

The AWS Cloud Development Kit is a framework for defining cloud infrastructure in code

aws-cloudformation-resource-providers-accessanalyzer

aws-cloudformation-templates

A collection of useful CloudFormation templates

aws-encryption-sdk-java

AWS Encryption SDK

aws-encryption-sdk-python

AWS Encryption SDK

aws-lambda-developer-guide

The AWS Lambda Developer Guide

aws-sdk-java

The official AWS SDK for Java.

boogie

Boogie

boogie-friends

Tools for interacting with Boogie

cbmc

C Bounded Model Checker

cedar-spec

Definitional implementation of Cedar language and utilities for DRT

cf-puzzle

checker-framework

Pluggable type-checking for Java

composer-timeline

dafny

Dafny is a verification-aware programming language

decline

A composable command-line parser for Scala.

monosat

MonoSAT - An SMT solver for Monotonic Theories

OpenJML

This is the primary repository for the OpenJML project. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:

P

The P programming language.

paiges

an implementation of Wadler's a prettier printer

rust-hello-ffi

scala

Scala 2 compiler and standard library. For bugs, see scala/bug

seanmcl.github.io

smtLib

Haskell datatypes for generating SMTLIB files.

tptp-browser

wartremover

Flexible Scala code linting tool

website