tyilo

insert_dylib

Command line utility for inserting a dylib load command into a Mach-O binary

z4

z3++

apkmagician

kattis-test

Tool for running problem submissions against samples.

dotfiles

Various unix configuration files I use or have used

kattis-improvements

vtable

amqprs

Async & Lock-free RabbitMQ Rust Client, Easy-to-use API

bson-rust

Encoding and decoding support for BSON in Rust

clap

A full featured, fast Command Line Argument Parser for Rust

exhaustive-map

fish-shell

The user-friendly command line shell.

fp-vis

glibc_version_header

Build portable Linux binaries without using an ancient distro

httpx

A next generation HTTP client for Python. 🦋

miri

An interpreter for Rust's mid-level intermediate representation

msrv-bump

multi-vec

num-modular

pacur

Automated deb, rpm and pkgbuild build system

pre-commit-rust

Rust hooks for pre-commit

ruff

An extremely fast Python linter and code formatter, written in Rust.

rust-socketio

An implementation of a socket.io client written in the Rust programming language.

rust-turbojpeg

Rust bindings for TurboJPEG library

secure-tcp-gender-changer

socks5-server

Asynchronized SOCKS5 server library based on tokio

toml

Rust TOML Parser

typefun

windows-rs

Rust for Windows

z3

The Z3 Theorem Prover