⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

Minimal implementations for dependent type checking and elaboration

Lightning is powerful them for WordPress.

A modular implementation of timely dataflow in Rust

CakeML: A Verified Implementation of ML

Manifests for the collection of verification repositories

seL4 specification and proofs

The seL4 microkernel

Link to preprints for ICFP'16 and co-located events

Type safe interface for working in subcategories of Hask

Mindless, verified (erasably) coding using dependent types

A Typeable-free implementation of extensible effects

A GHC-based Haskell to JavaScript compiler

REST'ful web framework in Agda

Bindings to Haskell's IO monad which respect Agda's semantics

Numenta Platform for Intelligent Computing is an implementation of Hierarchical Temporal Memory (HTM), a theory of intelligence based strictly on the neuroscience of the neocortex.

A Coq library for Homotopy Type Theory

A functional programming language based on algebraic effect handlers

A book on programming languages, using Haskell

A textbook on informal homotopy type theory

Development of homotopy type theory in Agda

An open-source C++ library developed and used at Facebook.

Immutable data, algebraic types and functional programming in C++

BFPG Talk on Yesod

A window management application (replacement for Divvy/SizeUp/ShiftIt)

Tools for code analysis, visualizations, or style-preserving source transformation.

Git extensions to provide high-level repository operations for Vincent Driessen's branching model.