A Lean-embedded framework to verify Verilog modules

Audio Watermarking

tcad extension for dac22 netlist contrastive learning

Attack on SW and HW implementaion of RSA-CRT on MCU CEC1702

Firmware to modify EFUSE bits in CEC1702

Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels

Fit Multiple Smaller Rectangles Into Larger Rectangles or Images - Iterative Permutational Optimization Method

High-quality pro HDR image resizing / scaling C++ library, including a very fast, precise, SIMD Lanczos resizer (header-only C++)

Digital Red Queen: Adversarial Program Evolution in Core War with LLMs

A Python 3 gradient-free optimization library

Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP

Very fast, high-quality hash function, discrete-incremental and streamed hashing-capable (non-cryptographic, header-only C/C++) 27GB/s + PRNG

PRVHASH - Pseudo-Random-Value Hash. Hash functions, PRNG with unlimited period, randomness extractor, and a glimpse into abyss. (header-only C/C++) (Codename Gradilac/Градилак)

Ghidra decompiler in your browser

my notes on Windows Phone 7/8 "developer mode" activation

ABC: System for Sequential Logic Synthesis and Formal Verification

Windows CE 2.11 for N64!

Production-ready fil-c memory safety integration for Zig with ARM64 MTE support

A simple package to do symbolic math (focus on code gen and DSLs)

trace exec() calls system-wide, on FreeBSD

trace exec() calls system-wide

Flipper Zero app for ESL research using IR. All based on https://www.furrtek.org/?a=esl

Simple and fast string based key-value database with support for arrays and json

Cross Platform COM interface loader

7zip in python3 with ZStandard, PPMd, LZMA2, LZMA1, Delta, BCJ, BZip2, and Deflate compressions, and AES encryption.

Ctypes bindings for the high-level API in libfuse 2 and 3

Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available…

Automated Vulnerability Detection Framework for Transient Execution Vulnerabilities (IEEE S&P '26)

Base library used across multiple projects

Legendary - A free and open-source replacement for the Epic Games Launcher