One stop solution for all Vulkan samples

GPQA: A Graduate-Level Google-Proof Q&A Benchmark

Unofficial snap for astral's uv

One place for service teams to find styles, components and patterns for designing government services.

Artin code for benchmark

Trained neural networks and requisite information and data for rnnoise-nu

Various c++ algorithms for computation with the Kolakoski sequence.

Collection of ARC-AGI-2 solvers and abstractions produced by refinement

Optional static typing for Python

Domain Specific Language for the Abstraction and Reasoning Corpus

Domain Specific Language for the Abstraction and Reasoning Corpus

Testing baseline LLMs performance across various models

A community database for the problems on the erdosproblems.com site

A collection of formalized statements of conjectures in Lean.

LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expanding mathematical knowledge without forgetting previously lear…

LLM inference in C/C++

Reverse Engineering the Abstraction and Reasoning Corpus

Lean 4 programming language and theorem prover

The math library of Lean 4

Evaluation of LLMs on latest math competitions

An official continuation of https://github.com/djoslin0/sm64ex-coop on sm64coopdx for the enhancements and progress it already has.

A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training

The simplest, fastest repository for training/finetuning medium-sized GPTs.

Feed-based 20x4 LCD for Micropython and Pico

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.