Lean formalizations of Putnam-like problems

A collection of formalized statements of conjectures in Lean.

Alpha-Beta Tak Engine written in C++

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

Rusty API for SQLite

Monte Carlo tree search in JAX

General Tree Evaluation for AlphaZero

An up-and-coming alpha-beta Tak bot

Type system experiments

A new markup-based typesetting system that is powerful and easy to learn.

TPS to PNG - Tak Positional System to Portable Network Graphics

Open source neural network chess engine with GPU acceleration and broad hardware support.

♟️ Vectorized RL game environments in JAX

Minimalist ML framework for Rust

Open-source codebase for EfficientZero, from "Mastering Atari Games with Limited Data" at NeurIPS 2021.

🎆 Hanabi — a GPU particle system plugin for the Bevy game engine.

A visualization library for Rust

Run compilers interactively from your web browser and interact with the assembly

A C++ library for simulating Rocket League games at maximum efficiency

Rust programming, in French.

Safe rust wrapper around CUDA toolkit

The rewritten engine, originally for tensorflow. Now all other backends have been ported here.

WIP BepInEx plugin for Rain World that aims to automate slugcat. TAS tool (Tool-Assisted Slowrun)

Deep learning in Rust, with shape checked tensors and neural networks

A Discord bot that provides Tiltak analysis of tak games