Internal use. Smart contracts powering the World ID protocol and the Worldcoin app airdrops.

lesspipe - display more with less

A network filesystem client to connect to SSH servers

A very fast linker for Linux

.bashrc file, terminal prompt that shows current git branch, Arduino setup, Eclipse setup, git diff with line numbers, helpful scripts, improved Linux productivity, etc.

🦀 Small exercises to get you used to reading and writing Rust code!

A new type of shell

Build and run containers leveraging NVIDIA GPUs

A tool for exploring each layer in a docker image

Eclipse iceoryx2™ - true zero-copy inter-process-communication in pure Rust

zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of…

Subscribe to a MQTT Topic or publish something quickly from the terminal

reproducible, snapshot-based Debian rootfs builder

An interactive Shell Experience powered by generative UI.

Analyses C/C++ build output for code size, static variables, and stack usage

ShellCheck, a static analysis tool for shell scripts

An implementation of Org mode without the dependency of Emacs - built for mobile and desktop browsers

A robust execution client for Ethereum node operators.

Oxide Programming Language

Pre-commit hooks

a debugger for async rust!

Ghidra is a software reverse engineering (SRE) framework

A next-generation high-performance operating system focused on enterprise-level resilience

A free and strong UCI chess engine

A pure-Rust implementation of group operations on Ristretto and Curve25519

An open source multi-function instrument for everyone

Visual Studio Code extension to help find documentation, device tree matching on device driver source code, by compatible strings

Dynamic Kernel Module Support