Parsing, analyzing, and comparing source code across many languages

Cryptol: The Language of Cryptography

Parsing and analysis of Vertica, Hive, and Presto SQL.

Haskell LLVM JIT Compiler Tutorial

Crucible is a library for symbolic simulation of imperative programs

Purely functional artificial neural network library implemented in Haskell.

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Open source binary analysis tools.

Symbolic formula representation and solver interaction library

Refinement Types for Scripting Languages

Luck -- A Language for Property-Based Generators