8000 pmozil (Petro Mozil) / Starred · GitHub
[go: up one dir, main page]

Skip to content
View pmozil's full-sized avatar

Organizations

@monistode

Block or report pmozil

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

Mesh optimization library that makes meshes smaller and faster to render

C++ 8,801 751 Updated Oct 14, 2026

Generalize LLVM peephole optimizations

C++ 4 2 Updated Sep 25, 2025

AntiUnification generalises from examples

F# 5 2 Updated Nov 5, 2016

The Z3 Theorem Prover

C++ 12,892 1,725 Updated Nov 6, 2026

A superoptimizer for LLVM IR

C++ 1 Updated Jul 7, 2022

STOKE: A stochastic superoptimizer and program synthesizer FFC4

C++ 887 86 Updated Aug 14, 2023

Must read research papers and links to tools and datasets that are related to using machine learning for compilers and systems optimisation

1,706 182 Updated Aug 26, 2026

Official implementation of "REASONING COMPILER: LLM-Guided Optimizations for Efficient Model Serving" (NeurIPS 2025)

Python 105 13 Updated Dec 5, 2025

Official implementation of "REASONING COMPILER: LLM-Guided Optimizations for Efficient Model Serving" (NeurIPS 2025)

Python 2 Updated Dec 5, 2025

Source code for the paper "Profile Guided Optimization without Profiles: A Machine Learning Approach"

C 28 9 Updated Dec 30, 2021

A structured guide to data center QoS — from service models and DiffServ pipelines through lossless Ethernet and next-generation congestion control.

1 Updated Oct 24, 2026

Hands-on RDMA application development in C, covering InfiniBand and RoCEv2.

C 1 Updated Jul 20, 2026

Shared Memory Communication (SMC) on Linux

HTML 8 3 Updated Sep 9, 2023

Reinforcement learning environments for compiler and program optimization tasks

Python 1,021 135 Updated Apr 14, 2026

Compile-time C Compiler implemented as C++14 constant expressions

C++ 815 34 Updated May 23, 2021

A huge blocklist of manually curated sites that contain AI generated imagery for uBlock Origin & uBlacklist.

5,832 224 Updated Oct 2, 2025
Scala 328 52 Updated Jan 23, 2026

SymEngine is a fast symbolic manipulation library, written in C++

C++ 1,427 318 Updated Nov 5, 2026

A Clang-based C++ Interoperability Library

C++ 112 69 Updated Nov 4, 2026

Record and Replay Framework

C++ 10,734 666 Updated Nov 2, 2026

DSL and compiler framework for automated finite-differences and stencil computation

Python 715 268 Updated Nov 6, 2026

cross-platform coroutine library in c++

C++ 865 112 Updated Sep 15, 2026

NVIDIA Real-time Denoising (NRD) library

HLSL 884 86 Updated Nov 3, 2026

Immersed Boundary Projection Method

C++ 128 51 Updated Mar 21, 2020

Easily find a clang-format configuration close to the existing code style

Python 34 4 Updated Jun 20, 2025

Beancount: Double-Entry Accounting from Text Files.

Python 6,151 487 Updated Aug 23, 2026

Jupyter kernel for the C++ programming language

Jupyter Notebook 135 45 Updated Oct 21, 2026

Reference implementation of mdspan targeting C++23

C++ 512 89 Updated Nov 2, 2026

Windows Subsystem for Linux

C++ 34,309 1,880 Updated Nov 6, 2026

Test the sample in the Linux kernel crypto API document.

C 9 5 Updated Oct 25, 2018
Next
0