Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

Performant type-checking for python.

magic-trace collects and displays high-resolution traces of what a process is doing

A code rewrite tool for structural search and replace that supports ~every language.

Binary Analysis Platform

Programming language for literate programming law specification

Systems language with linear types and capability-based security.

Hazel, a live functional programming environment with typed holes

An engine for displaying slips, the next-gen version of slides

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

Static website generator based on HTML element tree rewriting

A modern supercompiler for call-by-value functional languages

Automatically exported from code.google.com/p/intuitionistic

Intuitionistic Programming Language