List of Computer Science courses with video lectures.

A set-and-forget modern operating system designed for simplicity, speed, and peace of mind.

💬 Create Dialogs, Visual Novels, RPGs, and manage Characters with Godot to create your Game!

Rust bindings for Godot 4

NIx Language server, an incremental analysis assistant for writing in Nix.

A third-party, open-source ProtonMail CardDAV, IMAP and SMTP bridge

An unofficial NixOS fork with a FreeBSD kernel

Generate rust code (structures and enum) from XSD

VHDL compiler and simulator

Performs Bazel Target Diffing between two revisions in Git, allowing for Test Target Selection and Selective Building

a truly censorship-resistant alternative to Twitter that has a chance of working

Systems language with linear types and capability-based security.

Firefly III: a personal finances manager

🦀 How to minimize Rust binary size 📦 https://github.com/johnthagen/min-sized-rust

CUDA on non-NVIDIA GPUs

A community contributed game system for Pathfinder Second Edition.

A cool little website for playing Dungeons & Dragons together!

Hardcaml is an OCaml library for designing hardware.

Command-line program to download videos from YouTube.com and other video sites

A high level diffing library for rust based on diffs

Powerful and highly extensible command-line based document and bibliography manager.

A markup-based typesetting system that is powerful and easy to learn.

Personal CRM. Remember everything about your friends, family and business relationships.

Towards a C++ clap

Rust (de)serialization for the Python pickle format.

Cargo subcommand to see license of dependencies

Chromium running inside your terminal

SystemVerilog parser library fully compliant with IEEE 1800-2017

The seL4 microkernel

Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, Visitor and Listener. Used as a compiled interchange format …