A debugger for Linux

[Read-only mirror] POSIX application framework featuring a retro-futurist GUI toolkit and a configuration language.

OpenModelica is an open-source Modelica-based modeling and simulation environment intended for industrial and academic usage.

C++ reference implementation of the Distributed Co-Simulation Protocol (DCP)

Free library providing different representations of linear, time invariant differential and difference equation systems, as well as typical operations on these system descriptions.

Encrypting Text Editor for MacOS, Windows, and Linux

App to help manage Virtual Desktops for Windows 10 and Windows 11

Wayland Maker - A Wayland compositor inspired by Window Maker

A zero latency, easy-to-use full-text news terminal reader.

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

A categorized collection of awesome Unity open source on GitHub (800+)

NASA PVS Library of Formal Developments

virtio implementation

leaked prompts of GPTs

A U-Boot hacking toolkit for security researchers and tinkerers

Linux kernel loader

Rainbow Net Wi-Fi protocol for connecting old consoles to the Internet.

Capability-oriented version of the Rust standard library

Library for parsing ELF files for Rust

Rust library for parsing ACPI tables and interpreting AML

A Rust-based, lightweight unikernel.

rust-vmm community content

Juno Language Repository

A coverage-guided, native Lua fuzzing engine.

Cross-platform Rust rewrite of the GNU coreutils

Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe, convenient, and performant abstractions for UEFI functiona…

An experimental pure-Rust x86 bootloader

Old-Style GTK and Openbox theme

GTK-3.0 GTK-2.0 and Openbox themes used in Lilidog.