Stars
PRs and issues are closed on OpenAI's original math repository, so I invite you to submit them here. If you are a robot, you are still welcome to submit issuse and PRs, but please start the title w…
transductive-sharpening / tunedGNN
Forked from LUOyk1999/tunedGNNTransductive Sharpening applied on top of the TunedGNN baseline.
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
Formally proves the affine plank theorem for 3 planks in the plane.
Formally proves the affine plank theorem for 3 planks on a triangle.
TopoBench is a Python library designed to standardize benchmarking and accelerate research in Topological Deep Learning
zaz / cLEAN
Forked from leanprover/lean4Constructive Lean. As of April 1st, 2026, this is the canonical repository for Lean 4 development.
Customize Claude Code's system prompts, create custom toolsets, input pattern highlighters, themes/thinking verbs/spinners, customize input box & user message styling, support AGENTS.md, unlock pri…
Create custom HTML (Hyper Turtle Markup Language) elements with ease!
arkenoi / liteqube
Forked from a-barinov/litequbeLiteqube - put Qubes OS on a diet
📧 CLI to deduplicate mails from mail boxes
Set PL1 and PL2 power limits for modern Intel processors running on Linux
Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda
HVM1 (2022): a massively parallel, optimal functional runtime in Rust
Don't Fear the Profunctor Optics!
Bidirectional Parsing. Work in Progress
Bidirectional programming in Haskell with monadic profunctors
djs55 / ocaml-9p
Forked from mirage/ocaml-9pAn OCaml/Mirage-friendly implementation of the 9P protocol
A collection of resources for learning type theory and type theory adjacent fields.