system call hook for Linux

Digital logic design tool and simulator

Sign (and root) Android A/B OTAs with custom keys while preserving Android Verified Boot

Modern, advanced, portable, multiprotocol bootloader and boot manager.

oreboot is a fork of coreboot, with C removed, written in Rust.

Secure & Modern All-in-One Mail Server (IMAP, JMAP, POP3, SMTP)

Fullstack app framework for web, desktop, mobile, and more.

Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server

Verilator open-source SystemVerilog simulator and lint system

bladeRF-wiphy is an open-source IEEE 802.11 compatible software defined radio VHDL modem

Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.

SigNoz is an open-source observability platform native to OpenTelemetry with logs, traces and metrics in a single application. An open-source alternative to DataDog, NewRelic, etc. 🔥 🖥. 👉 Open sour…

A package for creating slides in Typst

Hurl, run and test HTTP requests with plain text.

Tetris that fits into the boot sector.

A native Rust UI library with fine-grained reactivity

A post-modern modal text editor.

Android app for reading Wikipedia pages distraction-free

Command-line sampling profiler for macOS and Linux

Comfortably monitor your Internet traffic 🕵️‍♂️

An experimental Rust native UI framework

Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl

Robrix: a multi-platform Matrix chat client written in Rust using the Makepad UI toolkit and the Robius app dev framework

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

An implementation of the Language Server Protocol for LaTeX

Build android apps without any java, entirely in C and Make

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

The modern API client that lives in your terminal.

yet another tool for analysing binaries

A new markup-based typesetting system that is powerful and easy to learn.