A tool suite for translating C to safe Rust (early days!)

A detour through the Linux dynamic linker

Simple, modern and fast file watching and code reload for Python, written in Rust

Executes commands in response to file modifications

Resilient LL(1) parser generator for Rust

An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.

Pure functional programming with whole-program mutability inference

The core language parser and vm

Small C++ library to produce GraphViz .gv files

Example code which uses SDL, cairo, freetype, FontConfig, and harfbuzz to do ttf/otf text layout and rendering

Chez Scheme

Bear is a tool that generates a compilation database for clang tooling.

Semantics of C in K

The better build tool. Finds dependencies automatically for any language.

A small command line application for load testing web servers. Think of it as similar to httperf or ab, only more modern and simpler to deal with.

An open source fork of Windows Live Writer

A pure Haskell implementation of Datalog

Simple Theorem Prover, an efficient SMT solver for bitvectors

Emscripten: An LLVM-to-WebAssembly Compiler

SMACK Software Verifier and Verification Toolchain

Please use openpyxl where you can...

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

C++ functions matching the interface and behavior of python string methods with std::string

Toy Lisp interpreter in Scala

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

Semantics and tools for JavaScript

Empowering everyone to build reliable and efficient software.

HTML canvas visualizer for cache hits and misses