An interpreter for Rust's mid-level intermediate representation

Concurrent multi-producer multi-consumer queue

A launch point for your personal nvim configuration

A precise specification for "Rust lite / MIR plus"

A post-modern modal text editor.

Utilities for collecting metrics from a Tokio application

a structural diff that understands syntax 🟥🟩

A collection of Android AOSP and ROM development related resources

The solution to create and share maps, dashboards, geostories with 3D support on the web. And it is open-source too!

A bare metal programming guide (ARM microcontrollers)

Debug your GitHub Actions via SSH by using tmate to get access to the runner system itself.

Run your GitHub Actions locally 🚀

Formal verification tool for Rust: check 100% of execution cases of your programs to make safe applications for demanding domains.

Attoparsec parsers for the NIST Matrix Market format

A snapshot testing library for rust

Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.

Facilities for generating dependently-typed data

Template for quickly and easily combining happy and alex

Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)