seanmcl

Pinned Repositories

aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
Language:C0 2 00
aws-cdk
The AWS Cloud Development Kit is a framework for defining cloud infrastructure in code
Language:TypeScript00
imogen
Language:Standard ML2 2 10
kms-compliance-example
Language:Java11
reverse-pdf-pages
Language:Shell13
sml-ext
Language:Standard ML71
sml-indent
Language:Standard ML21
thesis
Language:TeX1 2 00

seanmcl's Repositories

seanmcl/imogen
Language:Standard ML2 2 10
seanmcl/kms-compliance-example
Language:Java11
seanmcl/aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
Language:C0 2 00
seanmcl/aws-cdk
The AWS Cloud Development Kit is a framework for defining cloud infrastructure in code
Language:TypeScript00
seanmcl/aws-cloudformation-resource-providers-accessanalyzer
Language:Java0 1 00
seanmcl/aws-cloudformation-templates
A collection of useful CloudFormation templates
Language:Python2 0
seanmcl/aws-encryption-sdk-java
AWS Encryption SDK
Language:Java2 0
seanmcl/aws-encryption-sdk-python
AWS Encryption SDK
Language:Python2 0
seanmcl/aws-lambda-developer-guide
The AWS Lambda Developer Guide
Language:Java1 0
seanmcl/aws-sdk-java
The official AWS SDK for Java.
Language:Java
seanmcl/boogie
Boogie
Language:C#1 0
seanmcl/boogie-friends
Tools for interacting with Boogie
Language:Emacs Lisp
seanmcl/cbmc
C Bounded Model Checker
Language:C++1 0
seanmcl/cedar-spec
Definitional implementation of Cedar language and utilities for DRT
seanmcl/cf-puzzle
Language:Java2 0
seanmcl/checker-framework
Pluggable type-checking for Java
Language:Java
seanmcl/composer-timeline
Language:HTML
seanmcl/dafny
Dafny is a verification-aware programming language
Language:C#
seanmcl/decline
A composable command-line parser for Scala.
Language:Scala
seanmcl/monosat
MonoSAT - An SMT solver for Monotonic Theories
Language:C++
seanmcl/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:
Language:Java2 0
seanmcl/P
The P programming language.
Language:C#0 0
seanmcl/paiges
an implementation of Wadler's a prettier printer
Language:Scala2 0
seanmcl/rust-hello-ffi
Language:Rust2 0
seanmcl/scala
Scala 2 compiler and standard library. For bugs, see scala/bug
Language:Scala1 0
seanmcl/seanmcl.github.io
Language:HTML
seanmcl/smtLib
Haskell datatypes for generating SMTLIB files.
Language:Haskell2 0
seanmcl/tptp-browser
Language:JavaScript
seanmcl/wartremover
Flexible Scala code linting tool
Language:Scala
seanmcl/website
Language:JavaScript2 0