The math library of Lean 4

Easily animate Unity text and apply other effects with custom tags

Papers from the computer science community to read and discuss.

Geph (迷霧通) is a modular Internet censorship circumvention system designed specifically to deal with national filtering.

OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched

Official inference framework for 1-bit LLMs

The high-speed OpenGL, OpenCL, OpenAL, OpenXR, GLFW, SDL, Vulkan, Assimp, WebGPU, and DirectX bindings library your mother warned you about.

lightweight & automatic tag-based time-tracking program

Parser generator for the lezer incremental parser

High Speed Data Acquisition over HDMI - Userspace library

Steamworks wrapper for Unity / C#

A collection of some of the neat math and physics tricks that I've collected over the last few years.

#1 Open Source Unity Networking Library

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

Rust on mobile made easy!

Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.

Curated list of resources for ESP32 development in the Rust programming language

Implementation for MatMul-free LM.

LLVM IR in natural Rust data structures

Yet another cross-platform graphical process/system monitor.

moved to https://codeberg.org/dirs/directories-rs

A minimal NES example using ca65

An open source GPU based off of the AMD Southern Islands ISA.

🦀 Supercharge your Rust experience in Neovim! A heavily modified fork of rust-tools.nvim

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

Execution of and interaction with external processes and pipelines

Tensor library for machine learning

Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)

C++ bindings for the Godot script API

💤 A modern plugin manager for Neovim