Assembly super-optimization via constraint solving

Why not run micropython on your EMFI tool?

A multiplatform Bluetooth Low Energy (and Classic) device scanner and analyzer.

A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell

View k8s in graphical fashion

Capturing SSL/TLS plaintext without a CA certificate using eBPF. Supported on Linux/Android kernels for amd64/arm64.

Hardware Security Module for Raspberry Pico

The SQL IDE for Your Terminal.

Protocol Buffers with small code size

A HolyC Compiler/Runtime for 64bit ARM/X86

SPI Master for FPGA - VHDL and Verilog

ldd as a tree

The fastest RISC-V sandbox

An open source FPGA design for DSLogic

An open source multi-function instrument for everyone

OneWire slave device emulator

ECP5 breakout board in a feather physical format

Read and write Fressian data from Clojure

Hex-Rays microcode API plugin for breaking an obfuscating compiler

A merge between https://github.com/OneOfEleven/uv-k5-firmware-custom and https://github.com/fagci/uv-k5-firmware-fagci-mod

Visual SLAM/odometry package based on NVIDIA-accelerated cuVSLAM

A small, dependency-free node editor for dear imgui

FFmpeg for browser, powered by WebAssembly

Lightweight Postgres packaged as WASM into a TypeScript library for the browser, Node.js, Bun and Deno from https://electric-sql.com

LSim (Logical SIMulator) is a tool to simulate digital logic circuits.

3D CAD application

The circuit board is an integrated ESP32S3 and FPGA (GW1NSR-LV4CQN48PC6/I5) control chip. With the power management AXP2101 can be used to switch the voltage of different BANK areas.

A simple, very experimental TPM sniffer for LPC bus

Librairie Universelle Teleinformation (TIC)

OpenSCAD Emacs mode