Python-based continuous integration testing framework; your pull requests are more than welcome!

Large Language Model (LLM) Systems Paper List

Compiler for the C3 language

OptiTrust

a language for fast, portable data-parallel computation

A next generation Python CMake adaptor and Python API for plugins

Arbitrary precision integer and rational arithmetic library

A minimalistic and high-performance SAT solver

A minimalistic and high-performance SAT solver

Optimize pipelines for locality

MegEngine 是一个快速、可拓展、易于使用且支持自动求导的深度学习框架

Low-precision matrix multiplication

Medusa: Simple Framework for Accelerating LLM Generation with Multiple Decoding Heads

1.2% test error on MNIST using only least squares and numpy calls.

C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!

Pytest module for CMake

Metadata to support C++ packaging

Clspv is a compiler for OpenCL C to Vulkan compute shaders

High-efficiency floating-point neural network inference operators for mobile, server, and Web

tiniest x86-64-linux emulator

The CompCert formally-verified C compiler

FORMULA 2.0: Formal Specifications for Verification and Synthesis

Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.

blingful character graphics/TUI library. definitely not curses.

A modern port of Turbo Vision 2.0, the classical framework for text-based user interfaces. Now cross-platform and with Unicode support.

C++20 Terminal User Interface (TUI) Library.

A transpiled superset of TeX for writing LaTeX.

Public source repository for the SPIRAL project