Pinned Repositories
agda-commassoc
Fork of Agda with definitional commutativity and associativity
DialoGPT-MMI-decoder
MMI decoder for DialoGPT and discord bot
DisasterBot
A Rocket League community collaboration bot
DisasterBotOld
A Rocket League community collaboration bot
onitama-solver
The fastest Onitama tablebase generator
refinement-types
Type system experiments
rlbot-bm-rust
rust-query
Type safe query builder for rust
Volpe
programming language
pg_named_args
PostgreSQL named arguments
LHolten's Repositories
LHolten/rust-query
Type safe query builder for rust
LHolten/DialoGPT-MMI-decoder
MMI decoder for DialoGPT and discord bot
LHolten/DisasterBot
A Rocket League community collaboration bot
LHolten/Volpe
programming language
LHolten/rlbot-bm-rust
LHolten/blog
LHolten/refinement-types
Type system experiments
LHolten/advent-of-wasm
LHolten/Gridentify
LHolten/jotihunt
Jotihunt collaborative map with traccar support and RD coords for use by the Olivier van Noort group.
LHolten/onitama-solver
The fastest Onitama tablebase generator
LHolten/shor
LHolten/agda-commassoc
Fork of Agda with definitional commutativity and associativity
LHolten/Cluster-Editing
Graph editing to make clusters!
LHolten/3ways
LHolten/aoc24lean
Advent of Code 2024 in Lean 4
LHolten/Autoplay
Small bots to automatically play various games.
LHolten/axum
Ergonomic and modular web framework built with Tokio, Tower, and Hyper
LHolten/Gridentify-GUI
An open-source Gridentify UI/UX for humans
LHolten/hash-table-image
For computer graphics seminar, uses a stack of hash tables followed by a neural network
LHolten/miette
Fancy extension for std::error::Error with pretty, detailed diagnostic printing.
LHolten/onitama
LHolten/onitama-game
LHolten/Programming-Language-Benchmarks
Yet another implementation of computer language benchmarks game
LHolten/rlbot-place-config
The config for our r/place script
LHolten/RLBotPack
A collection of ready-to-use bots made by the community.
LHolten/trackmania-controller
Load maps into a trackmania server while it is running
LHolten/verysleepy
Very Sleepy, a polling CPU profiler
LHolten/wasm-tools
Low level tooling for WebAssembly in Rust
LHolten/z3.rs
Rust bindings for the Z3 solver.