Blazingly fast synthesis of LTL formulas!

Flashcluster, a lightning-fast hierarchical clustering package

A Min Priority Queue implemented as a Thin Wrapper around BinaryHeap from the standard library

effectively solving the random population control problem

General purpose program synthetiser with existing Programming By Examples (PBE) pipeline

Public repository for the LLM course at MVA

Empowering everyone to build reliable and efficient software.

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

Utility package that takes care of configuring Matplotlib for publication-ready figures!

📊 Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.

Test suite designed to check compliance with the SystemVerilog standard.

A framework for writing FPGA firmware using the Rust Programming Language

Command-line sampling profiler for macOS, Linux, and Windows

2D graphics rendering on the GPU in rust using path tessellation.

SC2 API for Rust

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

MIDI Objects for Python

Minima is a one-size-fits-all Jekyll theme for writers.

DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of input and output, DeepSynth finds a program matching the exa…

A submission for the Heuristic Track of PACE 2022

StarCraft II Client - protocol definitions used to communicate with StarCraft II.