Skip to content
View GBathie's full-sized avatar

Highlights

  • Pro

Block or report GBathie

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results
Rust 125 11 Updated Aug 30, 2022

Flashcluster, a lightning-fast hierarchical clustering package

Rust 5 Updated Jul 9, 2025

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

Rust 2 Updated May 5, 2025

effectively solving the random population control problem

Rust 3 Updated Sep 26, 2025

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

Python 20 5 Updated Aug 5, 2025

Public repository for the LLM course at MVA

Jupyter Notebook 20 7 Updated Apr 25, 2025

Empowering everyone to build reliable and efficient software.

Rust 108,678 14,281 Updated Dec 22, 2025

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

Rust 49,766 1,373 Updated Dec 19, 2025

Blazingly fast synthesis of LTL formulas!

Rust 7 1 Updated Oct 2, 2025

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

Python 3 Updated Aug 16, 2024

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

Python 2,551 242 Updated Aug 16, 2024

Test suite designed to check compliance with the SystemVerilog standard.

SystemVerilog 352 83 Updated Dec 19, 2025

A framework for writing FPGA firmware using the Rust Programming Language

Rust 439 29 Updated Jun 3, 2025

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

Rust 3,670 81 Updated Dec 22, 2025

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

Rust 2,518 151 Updated Nov 13, 2025

SC2 API for Rust

Rust 46 22 Updated Feb 5, 2025

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

Rust 32,419 1,943 Updated Dec 5, 2025

MIDI Objects for Python

Python 1,583 271 Updated Nov 28, 2025

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

SCSS 3,753 3,796 Updated Oct 15, 2025

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…

Slash 48 9 Updated Oct 25, 2024

A submission for the Heuristic Track of PACE 2022

C++ 6 1 Updated Apr 3, 2025

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

Python 3,919 442 Updated Oct 8, 2025