Highlights
- Pro
Stars
A fully functional and simple Machine Learning library made entirely from scratch with Python.
GPU programming related news and material links
Simple UI for debugging correlations of text embeddings
A reverse engineering of Linear's sync engine. Endorsed by its co-founder & CTO.
An advanced font engine for Node and the browser
Code for collecting, processing, and preparing datasets for the Common Pile
Unofficial Scalable-Softmax Is Superior for Attention
A central repository to keep track of the status of work on and support for free-threaded CPython (see PEP 703), with a focus on the scientific and ML/AI ecosystem
(Mirror) A Machine-to-Machine Interaction System for Lean 4
Implementations of attention with the softpick function, naive and FlashAttention-2
Storing long contexts in tiny caches with self-study
Control 3D models using hand gestures and voice commands in real-time. Threejs / mediapipe computer vision
A collection of formalized statements of conjectures in Lean.
Library implementing type inference/checking functionality based on the Lean theorem prover
Release repo for our SLAM Handbook
Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977
An archive of material related to the Cyc project.