Static Analyser for C

SpinalHDL - Cryptography libraries

MLPerf® Storage Benchmark Suite

This module collects per-page stats and decide for each page if it should be migrated, replicated or interleaved.

Intel PMU profiling tools

basic physics simulation of a chain

Create Anki flashcards and markdown files from your Kindle notes/highlights.

microsat

Armada is a tool for writing, and proving correct, high-performance concurrent programs.

Latr: Lazy Translation Coherence - ASPLOS'18

Low-overhead tracing of all Linux kernel-user transitions, for serious performance analysis. Includes kernel patches, loadable module, and post-processing software. Output is HTML/SVG per-CPU-core …

Modlishka. Reverse Proxy.

Developing a production-grade multi-user feature for VIm

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

The aim of this project is the generation of isochronous maps from public transit datas in GTFS format.

The original timed regular expression matcher over temporal behaviors

Verification framework and tool for higher-order Scala programs

Face recognition with deep neural networks.

Breakout board for the MiCS-4514 CO and NOx gas sensor.

Ad-hoc library to pin threads

MELY - Multicore Event LibrarY

The iconic SVG, font, and CSS toolkit

Profiling applications with hardware counters

Yet another memory benchmark

Fast and customizable photo gallery.

Carrefour runtime. Uses harwdare counters to decide whether Carrefour needs to be run or not.

Memprof library. Used to track malloc and free.

Memprof kernel module. Used to collect IBS samples and processes creation and destruction. Works on kernels 3.6+.