A WebGL accelerated JavaScript library for training and deploying ML models.

SMAC3: A Versatile Bayesian Optimization Package for Hyperparameter Optimization

The official Meta Llama 3 GitHub site

Implementation of Maskomaly: Zero-shot Anomaly Segmentation

A collection listing all Achievements available on the GitHub profile 🏆

😵 GitHub achievements that did not make the cut.

Command line tool for model checking using LTL, CTL and CTL* formulas

NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

Open source Minecraft plugins for the RWTH computer science Discord

Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)

The most widely used, high performance Minecraft server that aims to fix gameplay and mechanics inconsistencies

Animation engine for explanatory math videos

Guice (pronounced 'juice') is a lightweight dependency injection framework for Java 11 and above, brought to you by Google.

Small cryptography playground