Starred repositories
A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
EPMC: An Extendible Probabilistic Model Checker
Material Design icons for VS Code
⚡️ A curated list of awesome things related to marimo
A library to help you dial in interface parameters of any kind
A benchmark environment for fully cooperative human-AI performance.
A collection of environments and reference agents for planning and reinforcement learning research in partially observable, multi-agent environments.
vibecoding, but correct and safe and secure and
Compatibility tool for Steam Play based on Wine and additional components
Method for Long Context RLMs using verifiable Lambda Calculus
A complete, self-contained example for trusted publishing with uv
Implementation of Inverse Reinforcement Learning (IRL) algorithms in Python/Tensorflow. Deep MaxEnt, MaxEnt, LPIRL
Reinforcement learning environments for compiler and program optimization tasks
Python Bindings for the Probabilistic Model Checker Storm
Softlearning is a reinforcement learning framework for training maximum entropy policies in continuous domains. Includes the official implementation of the Soft Actor-Critic algorithm.
A research tool for visually exploring Bureau of Labor Statistics Occupational Outlook Handbook data. This is not a report, a paper, or a serious economic publication — it is a development tool for…
Lecture slides for the MARL book (www.marl-book.com)
The swiss army knife of lossless video/audio editing
📚 A tiny but mighty list virtualization library for Svelte, with zero dependencies 💪 Supports variable heights/widths, sticky items, scrolling to index, and more!