📚 Freely available programming books

A list of Free Software network services and web applications which can be hosted on your own servers

Google core libraries for Java

Telegram Desktop messaging app

NVIDIA Linux open GPU kernel module source

A static analyzer for Java, C, C++, and Objective-C

The seL4 microkernel

Open Machine Learning course

Small set of tools for JVM troublshooting, monitoring and profiling.

Master repository for the JGraphT project

A parser for Google Scholar, written in Python

The CompCert formally-verified C compiler

https://openjdk.org/projects/jmc OpenJDK Mission Control, a production time profiling and diagnostics tools suite.

A collection of code samples showing usage of clang and llvm as a library

seL4 specification and proofs

DARPA Cyber Grand Challenge Sample Challenges

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

A public database of C compiler test cases, minimal test runners, and public test results.

Embedded C Library (mirror)

Extensions for Eli Bendersky's pycparser

A Shape Analyzer Based on Symbolic Memory Graphs

solver for the reachability modulo theories problem

KLEE's version of uClibc

The MemCAD static analyzer

Clade is a tool for extracting information about software build process and source code

Grph is a high-performance Java library for the manipulation of graphs.

An Exchange Format for Verification Witnesses (MOVED, please follow the link)

Fully proved small C functions (examples for verification course).

SoSy-Lab Java Common Library

Proceedings of ISP RAS LaTeX Template