List information about the active RISC-V SBI environment (on Linux).

[MOVED TO CODEBERG] GCC 4.6.4 fork for bootstrapping, with added RISC-V support.

End-2-end encrypted IPv6 overlay network

A pure rust library for working with RPM files.

🐚bash/POSIX-compatible shell implemented in Rust 🦀

[Ariadne has moved to Codeberg!] A fancy diagnostics & error reporting crate

A tool for checking backward API/ABI compatibility of a C/C++ library

Tools for tracing OpenGL, Direct3D, and other graphics APIs

Useful resources on making OSKs on Wayland

An assembler and operating system for the TI-84+ written in Scheme, Forth and Z80 assembly.

Laco compiler

"Das U-Boot" Source Tree

Linux kernel for WebAssembly

Ninja-compatible incremental build system for Nix

The barebox bootloader - Mirror of ssh://public@git.pengutronix.de/barebox

A small, dependency-free node editor for dear imgui

A lightweight tar library written in ANSI C

Haskell implemented with combinators

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

TOML module for Guile

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

Rust binary toolchain channel for Guix

A pure-actor virtual machine with object-capabilities and memory-safety.

Linux redistributable for shipping MetaCall Core.

Scheme utility procedures for the RISC-V instruction set architecture

The Compositor Modules provide means to create Wayland and X11 compositors

GNU Guix zephyrRTOS integration

Some experiments with SMT solvers and GIMPLE IR

A wrapper script to build whole-program LLVM bitcode files