Concise Binary Object Representation (CBOR) Library

PS4 emulator for Windows,Linux,MacOS

Interactive Coq Proofs in Vim

SteamOS session compositing window manager

TeamSpeak package and service definitions for GNU Guix.

Rust support for seL4 userspace

KLEE Symbolic Execution Engine

Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs

🛡 I2P: End-to-End encrypted and anonymous Internet

A file explorer tree for neovim written in lua

Cryptographic Primitive Code Generation by Fiat

Envoy: The perfect companion app for your Passport.

A serialization format for various persistent Vulkan object types.

Tool to statically recompile N64 games into native executables

A SD/MMC library with FAT16/FAT32 support, suitable for Embedded Rust systems

Peripheral access API for STM32H7 series microcontrollers

LLM inference in C/C++

Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.

Experimental Nintendo Switch Emulator written in C#

Tor plugin for Flutter

An Ada 2012 compiler in Scala

A color scheme for those who love the IntelliJ style but prefer the Neovims feel.

Tup is a file-based build system.

Efficient, deferred formatting for logging on embedded systems

A Rust embedded-hal HAL for all MCUs in the STM32 F4 family

IntelliJ plugin for Scheme programming language

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

perfect programming language

RandomX, KawPow, CryptoNight and GhostRider unified CPU/GPU miner and RandomX benchmark