Firefox Add-on that lets you open automatically managed disposable containers

文言文編程語言 A programming language for the ancient Chinese.

A modular vulnerability scanner with automatic report generation capabilities.

The CompCert formally-verified C compiler

Wallpaper tool for Wayland compositors

DIRTY: Augmenting Decompiler Output with Learned Variable Names and Types

ANSI Standard X3.64 Teletypewriter Command Session Library

Intel PMU profiling tools

modelling simple and parallax microlensing event lightcurves with nested sampling

Fast C++ logging library.

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

Multi functional app to find duplicates, empty folders, similar images etc.

A time traveling resource monitor for modern Linux systems

A syntax-highlighting pager for git, diff, grep, and blame output

Terminal-based presentations using Pandoc

Minimal implementations for dependent type checking and elaboration

Belarusian Latin keyboard layout for Windows and Mac

GoAccess is a real-time web log analyzer and interactive viewer that runs in a terminal in *nix systems or through your browser.

Frida Boot 👢- A binary instrumentation workshop, with Frida, for beginners!

generator wywieszek na seminarium systemy rozproszone

building and fitting one & two body astrometric tracks

后端架构师技术图谱

Coppersmith's method for multivariate polynomials

Companion files for Logical Verification 2020–2021 at VU Amsterdam

Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various…

Linux Kernel Defence Map shows the relationships between vulnerability classes, exploitation techniques, bug detection mechanisms, and defence technologies

Implementation of the Differential Evolution Strategy.

Black magic to workaround a Template Haskell stage restriction.

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.