Unopinionated utilities for resizeable split views

Containers: a typeclass-based library of finite sets/maps

The Higher-Order Intermediate Representation

An imperative and functional programming language

a fork of clang with Sierra patches

supporting headers, benchmarks and tests for Sierra

web pages for sierra-lang.github.io

Coq with native compilation, as well as machine integers and arrays !