Aaron Hill

A safe, concurrent, practical language.

A Flash Player emulator written in Rust

Time lapse photography program written in Python, originally created for the Raspberry Pi.

A Bukkit + Sponge plugin to show a player's name history

A Python project to convert units of measurement

A python program to read new emails out loud.

A Tampermonkey script to automatically load all hidden comments on Github

Making ZSH faster with Rust

No description.

A Minecraft Mod that adds some energy sources

No description.

A Bitcoin wallet written in Rust as a testbed for experimental user-facing tools

Post-training with Tinker

Pixelmon expansion for Sponge's PlaceholderAPI

Tiny http daemon that answers acme challenges and redirects everything else to https

Actor framework for Rust

Gtihub Pages

Rust wrapper for Microsoft's C JPEG XR codec library

No description.

No description.

No description.

An interpreter for Rust's mid-level intermediate representation

Models and classes shared by Travis hub and server

Display images in your terminal, kind of

Twitter for Python!

No description.

No description.

No description.

A tool to add crate URLs to Cargo's output.

The math library of Lean 4

Rust native ready-to-use NLP pipelines and transformer-based models (BERT, DistilBERT, GPT2,...)

PyPy is a very fast and compliant implementation of the Python language.

Library implementing type inference/checking functionality based on the Lean theorem prover

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.

A Lean (4) type checker written in RPython

A project to map out the relations between different equational theories of Magmas.

Construction of a Brownian Motion in Lean

A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Ongoing project to formalise The Spectral Theorem in Lean prover

blueprint for prime number theorem and more

A reactive PR inbox TUI with embedded AI agent terminals

CloudWatch emitter for the metrics crate

Demonstration of eventsource-stream performance issue

The Rust OpenTelemetry implementation

CloudWatcch Embedded Metrics Emitter for the Metrics crate. Intended for Rust Lambda functions

Middlewares and tools to integrate axum + tracing + opentelemetry

A Vec That Has a Smaller size_of

Facilitating high-level interactions between Wasm modules and JavaScript

A formalized proof of Carleson's theorem in Lean

Subcommand to show result of macro expansion

No description.

No description.

Lean 4 programming language and theorem prover

Pure Rust multimedia format demuxing, tag reading, and audio decoding library

Application level tracing for Rust.

The core engine at the heart of Deno

A pure Rust decoder for the Nellymoser audio codec

A fast and safe parser for Adobe Flash Local Shared Object files (.sol), AMF0 and AMF3 in rust

WIP cranelift backend for rustc

Alternative Twitter front-end

Unic crates for locale management implementing Unicode UTS #35

Easily add Fluent to your Rust project.

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

Rust library to open URLs in the web browsers available on a platform

Rust high performance xml reader and writer

A Rust crate providing a reasonably faithful implementation of the W3C DOM Core

Source code for the Actionscript virtual machine

Winetricks is an easy way to work around problems in Wine

LR(1) parser generator for Rust

No description.

Frida CLI tools

A drop-in replacement for Rust's std::io::BufReader, with extra features

No description.

No description.

Pure Rust bindings to the Github API

Pure-Rust rewrite of the Linux fontconfig library (no system dependencies) - using ttf-parser and allsorts

:sparkles: Monorepo for all the tooling which enables ESLint to support TypeScript

Typo is the oldest and most powerful Ruby on Rails blogware, providing custom templates, powerful drag and drop plugins API, advanced SEO capabilities, XMLRPC API and many more.

:zap: fast mysqljs/mysql compatible mysql driver for node.js

Robust ABC (ActionScript Bytecode) [Dis-]Assembler

Bots bots bots bots bots and...bots?

TIFF decoding and encoding library in pure Rust

A Rust compiler front-end for IDEs

Objective-C runtime bindings and interface for Rust. Fork of https://github.com/SSheldon/rust-objc.

A Java serialization library that can convert Java Objects into JSON and back.

ForgeGradle 2 extension for Vanilla libraries

redis client for node

Browser extension that simplifies the GitHub interface and adds useful features

Skytable is an extremely fast, secure and reliable real-time NoSQL database with automated snapshots and TLS

No description.

Embryonic Rust TLS library

No description.

Distributed transactional key-value database, originally created to complement TiDB

Smithay's toolkit for writing wayland clients

A callback-based Event Loop

Fluent integration for the bracket template engine

A panic hook for wasm32-unknown-unknown that logs panics with console.error

Native WebGPU implementation based on gfx-hal

A low-overhead Vulkan-like GPU API for Rust.

No description.

Window handling library in pure Rust

derive(Error) for struct and enum error types

Easily create methods to use your custom enum like Option / Result

Snappy compression implemented in Rust (including the Snappy frame format).

Expanding opportunities standard library std::fs and std::io

No description.

Experimental system for rust garbage collection

RFCs for changes to Rust

Logging implementation for Rust

A fork of youtube-dl, for archival purposes.

libgit2 bindings for Rust

Flexible concrete Error type built on std::error::Error

No description.

Rust bitfield library for low-level registers

Format Rust code

A list of rust lang mentors tagged by topics of interest

No description.

Hypothesis-like property testing for Rust

Some more derive(Trait) options

Extract eGK data and write them into XML files

No description.

No description.

Query DNS for IP addresses of hostnames, then populate a mustache template and optionally fork a process, lather, rinse and repeat

Libraries for CITA (https://github.com/citahub/cita)

A static, type inferred and embeddable language written in Rust.

Giving your chat some life

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

Rust + Wasm + Tic Tac Toe = Best Game Evahhhh

Documentation generator for Deno

No description.

Experimental parallel recursive s3 traversal

No description.

A flexible high-performance uptime bot powered by async Rust with Telegram, SNS and Slack notification backends.

Prints a list of k8s pods that might not be working correctly

A small utility to copy all your GitHub SSH public keys on your system

A Web Dashboard for Lorikeet

A Parallel test runner for DevOps

A utility to forward Google Container Registry authentication into Kubernetes imagePullSecrets

A mixer for jack-audio using rust and druid UI

Rust helpers for serving HTTP GET and HEAD responses with hyper 0.13.x and tokio.

Custom repository manager for ArchLinux pacman

Securily generates temporary AWS credentials through identity providers using SAML

💡 Basic commands for Philips hue from the command line

Fast Fourier transforms (FFTs) in Rust

Support crate for rustc's self-profiling feature

No description.

A collection of Solana-maintained on-chain programs

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes

Redis documentation source code for markdown and metadata files, conversion scripts, and so forth

The main repository of the Open GApps Project

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

Conditional compilation according to rustc compiler version

A full featured, fast Command Line Argument Parser for Rust

No description.

Parse command line arguments by defining a struct.

A pear is a fruit.

No description.

A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler

No description.

Yet Another Serializer/Deserializer

A best-effort implementation of the now deprecated libtcod config file parser functionality from libtcod

Yet yet yet another OAuth 1 client library for Rust.

Utility crates used in the rust-crypto

Compiletime string literal obfuscation for Rust

Parser for Rust source code

Lightweight, efficient, binary serialization and deserialization codec

The GraphQL server library implemented by rust

Generates report summaries and identifies root regressions in Rust's Crater results

An experimental pure-Rust x86 bootloader

No description.

The Rust Reference

framework for composable networking services

Backtraces in Rust

A C library that may be linked into a C/C++ program to produce symbolic backtraces

No description.

Actix web is a small, pragmatic, and extremely fast rust web framework.

Low level HTTP server library in Rust

Objective-C Runtime bindings and wrapper for Rust.

No description.

A cross-platform, GPU-accelerated terminal emulator

Parser for virtual terminal emulators

No description.

A guide to how rustc works and how to contribute to it.

Rust's standard library vendor-specific APIs and run-time feature detection

The sysroot manager that lets you build and customize `std`

Integration between rust-base64 and serde

It's like Mastodon.py, but for Rust (fork of https://github.com/Aaronepower/mammut)

RAMP - Rust Arithmetic in Multiple Precision

Unit conversion tool and library written in rust

An implementation of differential dataflow using timely dataflow on Rust.

A Rust curses library, supports Unix platforms and Windows

Raw bindings to platform APIs for Rust

Ruby wrapper for the RubyGems.org API

An oauth2 client implementation providing the Device, Installed and Service Account flows.

No description.

HTTP 2.0 client & server implementation for Rust.

Execute your code on the Rust ecosystem.

Repository for the Rust Language Server (aka RLS)

The Rust package manager