A secure embedded operating system for microcontrollers

Package scripts for MinGW-w64 targets to build under MSYS2.

A games launcher for GOG, Amazon and Epic Games for Linux, Windows and macOS.

Represent large sets and maps compactly with finite state transducers.

Run compilers interactively from your web browser and interact with the assembly

Extremely simple note-taking app inspired by "One Big Text File"

Analyze ELF binaries like a boss 😼🕵️‍♂️

An open source graphics editor for 2025: comprehensive 2D content creation tool suite for graphic design, digital art, and interactive real-time motion graphics — featuring node-based procedural ed…

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

Visualize Ownership and Lifetimes in Rust

A crate for mucking around with piles of bytes

Generic and convenient `std` atomics via `Atomic<T>`

High performance UI layout library in C.

Inspirational Mapping

A Solution to your Wayland Wallpaper Woes

An animated number component for React, Vue, Svelte, and TS/JS.

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

🚀 Streaming file transfer over WebTorrent (torrents on the web)

A modern Prolog implementation written mostly in Rust.

Data validation using Python type hints

A command-line benchmarking tool

A tacit array programming language

The swiss army knife of lossless video/audio editing

🌸 A command-line fuzzy finder

A scrollable-tiling Wayland compositor.

Unsafely fast hashing algorithm 📈

build-once run-anywhere c library

LLocalSearch is a completely locally running search aggregator using LLM Agents. The user can ask a question and the system will use a chain of LLMs to find the answer. The user can see the progres…

Overlay networks based on WebRTC.

Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)