A powerful, hackable FPGA-based audio multitool for Eurorack.

Manage all your domain names in one place (mirror of framagit.org/happyDomain/happydomain)

CologneChip GateMate FPGA Module: GMM-7550

Nix(OS) fleet management

An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more

An FPGA reverse engineering and documentation project

End-to-end synthesis and P&R toolchain

A very fast linker for Linux

Rust Bare Metal implementation of maze game for ESP32 with Bevy ECS no_std

Proteus: Programmable Protocols for Censorship Circumvention

Video Management System. Mirror of Codeberg.

Refinement type checking and inference tool for Rust

Verifying the Rust standard library

Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving

Powerful and flexible mid-level audio engine for games and other applications

A simple pan and orbit camera for the Bevy game engine

Interactive Typst content creator using Vello and Bevy.

Backend agnostic motion graphics creation framework.

Refinement Types for Rust

A curated list of awesome Rust checkers

Research prototype tool for modular formal verification of C, Rust and Java programs

Kanidm: A simple, secure, and fast identity management platform

Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.

Run your own AI cluster at home with everyday devices 📱💻 🖥️⌚

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

Template for a Bevy game including CI/CD for web, Windows, Linux, macOS, iOS and Android

Detect concurrency and memory bugs and possible panic locations in Rust projects

property testing and verification front-end for Rust