Verified Rust for low-level systems code

Rust Uint crate using const-generics

An interpreter for Rust's mid-level intermediate representation

High-performance, well-tested & documented core libraries for Ethereum, in Rust

Eth2-validator is an easy to use, performant and flexible Ethereum validator client.

Rust binding for xdelta3 (APL branch)

Command-line tool that allows searching and downloading app packages (known as ipa files) from the iOS App Store

Typed mutable SSZ views over cached and immutable binary merkle trees

CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives

Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance

dappnodesdk is a tool to mantain dappnode packages. It helps to initialize and publish an Aragon Package Manager Repository

Import and export Grafana dashboards for backup and dynamic provisioning

DeDRM tools for ebooks

A tool for calculating and comparing damage outputs for Warhammer Age of Sigmar units.

Cargo subcommand for optimizing Rust binaries/libraries with PGO and BOLT.

Mordheim helper app

Never forget your Age of Sigmar abilities again! Generate helpful in-game reminders tailored to your AoS army.

Accessors, a library implementing lenses for Elm.

OAuth 2.0 client-side utils in Elm

🦄 A file manager / web client for SFTP, S3, FTP, WebDAV, Git, Minio, LDAP, CalDAV, CardDAV, Mysql, Backblaze, ...

Code examples, data structures, and links from my book, Rust Atomics and Locks.

What if you never had to write CSS again?

Typed CSS in Elm.

elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide

A single-page, peer-to-peer, synchronous client for playing Zendo online (https://www.looneylabs.com/content/zendo)

A SyGuS Solver