A terminal workspace with batteries included

a structural diff that understands syntax 🟥🟩

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

A command-line hex viewer

A cat(1) clone with wings.

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

A Bevy plugin for integrating with the Steamworks SDK

A refreshingly simple data-driven game engine built in Rust

Static Timing Analyser (LIP6)

Core Guarded Action Language and Instantiable Transition System semantics using libDDD.

Library for Data Decision Diagrams and Set Decision Diagrams

Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)

Alliance VLSI CAD Tools (LIP6)

open source PoE+ HAT for Raspberry Pi 3/4/5 based on WisdPi PoE+ Module(PD-1202M)

Small PCB that charges a Li-Ion battery from a solar panel and gives an output of 5V - 0.6A

LoRa/WiFi remote controller for driving my rover

3D printed and driveable Curiosity/Perseverance inspired Rover

A build-it-yourself, 6-wheel rover based on the rovers on Mars!

Native Rust port of Google's HighwayHash, which makes use of SIMD instructions for a fast and strong hash function

the official Rust and C implementations of the BLAKE3 cryptographic hash function

AMD Open Source Driver For Vulkan

This is an active mirror of the KiCad development branch, which is hosted at GitLab (updated every time something is pushed). Pull requests on GitHub are not accepted or watched.

OpenFOAM Foundation development repository

OpenFOAM-dev third-party library compilation scripts

VTK-based Data Analysis and Visualization Application

IO and periphery cells for the GF180MCU provided by GlobalFoundries.

Automated Git mirror of Gaisler's GRLIB/Leon3 releases

Microsoft MakeCode (PXT - Programming eXperience Toolkit)

UF2 file format specification