LHolten

DialoGPT-MMI-decoder

MMI decoder for DialoGPT and discord bot

DisasterBot

A Rocket League community collaboration bot

Volpe

programming language

DisasterBotOld

A Rocket League community collaboration bot

rlbot-bm-rust

rust-query

WIP awesome query builder for rust

refinement-types

Type system experiments

Gridentify

jotihunt

Jotihunt collaborative map with traccar support and RD coords for use by the Olivier van Noort group.

Rocket-League-ML-orientation-controller

shor

agda-commassoc

Fork of Agda with definitional commutativity and associativity

Cluster-Editing

Graph editing to make clusters!

onitama-solver

The fastest Onitama tablebase generator

3ways

advent-of-wasm

Autoplay

Small bots to automatically play various games.

Gridentify-GUI

An open-source Gridentify UI/UX for humans

hash-table-image

For computer graphics seminar, uses a stack of hash tables followed by a neural network

miette

Fancy extension for std::error::Error with pretty, detailed diagnostic printing.

onitama

onitama-game

Programming-Language-Benchmarks

Yet another implementation of computer language benchmarks game

rlbot-place-config

The config for our r/place script

RLBotPack

A collection of ready-to-use bots made by the community.

RLbotPythonDataParser

trackmania-controller

Load maps into a trackmania server while it is running

verysleepy

Very Sleepy, a polling CPU profiler

wasm-tools

Low level tooling for WebAssembly in Rust

z3.rs

Rust bindings for the Z3 solver.