Pinned Repositories
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
imogen
kms-compliance-example
reverse-pdf-pages
sml-ext
sml-indent
thesis
seanmcl's Repositories
seanmcl/imogen
seanmcl/kms-compliance-example
seanmcl/aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
seanmcl/aws-cdk
The AWS Cloud Development Kit is a framework for defining cloud infrastructure in code
seanmcl/aws-cloudformation-resource-providers-accessanalyzer
seanmcl/aws-encryption-sdk-java
AWS Encryption SDK
seanmcl/aws-encryption-sdk-python
AWS Encryption SDK
seanmcl/aws-lambda-developer-guide
The AWS Lambda Developer Guide
seanmcl/aws-sdk-java
The official AWS SDK for Java.
seanmcl/boogie
Boogie
seanmcl/boogie-friends
Tools for interacting with Boogie
seanmcl/cbmc
C Bounded Model Checker
seanmcl/cedar-spec
Definitional implementation of Cedar language and utilities for DRT
seanmcl/cf-puzzle
seanmcl/checker-framework
Pluggable type-checking for Java
seanmcl/composer-timeline
seanmcl/dafny
Dafny is a verification-aware programming language
seanmcl/decline
A composable command-line parser for Scala.
seanmcl/P
The P programming language.
seanmcl/paiges
an implementation of Wadler's a prettier printer
seanmcl/rust-hello-ffi
seanmcl/scala
Scala 2 compiler and standard library. For bugs, see scala/bug
seanmcl/seanmcl.github.io
seanmcl/SHerLOC
A StableHLO analyzer in Lean
seanmcl/smtLib
Haskell datatypes for generating SMTLIB files.
seanmcl/TensorLib
A verified tensor library in Lean
seanmcl/theorem_proving_in_lean4
Theorem Proving in Lean 4
seanmcl/tptp-browser
seanmcl/wartremover
Flexible Scala code linting tool
seanmcl/website