Google's Operations Research tools:

An implementation of numbered theorem environments in typst

Universal markup converter

A minimal and fully-customizable CV template for Typst.

A package for creating slides in Typst

An API standard for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)

Code for "Finding Counterfactually Optimal Action Sequences in Continuous State Spaces", NeurIPS 2023.

Data Engineering Practice Problems

A next-gen Lagrange-Newton (SQP/barrier) solver for nonconvex constrained optimization

OpenEMS - Open Source Energy Management System

Open-source Business Rules Engine for your Rust, NodeJS, Python or Go applications.

A Karlsruhe Institute of Technology Slides Theme for Typst. This is only a mirror.

Der offizielle eID-Client des Bundes.

🦀 Small exercises to get you used to reading and writing Rust code!

Rust interface for SCIP

A Rust machine learning framework.

A modern curriculum vitae class for LaTeX

Quantum Integer Programming Syllabus