RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

Bazel rules to build dhall configurations

A comprehensive experiments-based survey on various approaches to program semantics.

The symbolic execution engine powering the K Framework

A simpler site generator. Transforms a directory of templates (of varying types) into HTML.

A bit like Solr, but much smaller and not as bright