Verilog Basic Core open-source. 3 stages pipeline

aws-lc-rs is a cryptographic library using AWS-LC for its cryptographic operations. The library strives to be API-compatible with the popular Rust library named ring.

Weighs the soul of incoming HTTP requests using proof-of-work to stop AI crawlers

Tuning Profile Delivery Mechanism for Linux

Programming language that targets the Nintendo Entertainment System

Contains a bunch of links to things I read or watched

A showcase of using Zig to cross-compile Go application with GoReleaser

(ab)using Rust's async/await syntax to write simple state machine based coroutines

A tool to create, transform and attest VEX metadata

OpenVEX Specification

GoLang architecture linter (checker) tool. Will check all project import path and compare with arch rules defined in yml file. Useful for hexagonal / onion / ddd / mvc and other architectural patte…

APALACHE: symbolic model checker for TLA+ and Quint

Stackless generators on stable Rust.

Get detailed `go test` execution times

Checker for Lifetimes and other Refinement types

an experimental new programming language based on interaction nets

a game where you're given a potato and your job is to implement a firmware for it

GitHub Actions Self-Hosted runner for RISC-V

Resonate Server - A CLI, Durable Promise store, and Task Framework

supply-chain security for Rust

High-precision and consistent benchmarking framework/harness for Rust

Concurrency permutation testing tool for Rust.

Hypothesis-like property testing for Rust

Shuttle is a library for testing concurrent Rust code

Add hardship to your tests

🧟 Inject bugs and see if your tests catch them!

Perl5 in a sandboxed, self-contained WebAssembly module.

Visualize Ownership and Lifetimes in Rust