darius

nanoGPT

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

llama2.c

Inference Llama 2 in one file of pure C

nn-zero-to-hero

Neural Networks: Zero to Hero

HVM

A massively parallel, optimal functional runtime in Rust

micrograd

A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

makemore

An autoregressive character-level language model for making more things

mini-rv32ima

A tiny C header-only risc-v emulator.

maxtext

A simple, performant and scalable Jax LLM!

python-skyfield

Elegant astronomy for Python

swissgl

SwissGL is a minimalistic wrapper on top of WebGL2 JS API. It's designed to reduce the amount of boilerplate code required to manage GLSL shaders, textures and framebuffers when making procedural visualizations or simulations.

einsteinpy

Repository for the EinsteinPy core package :rocket:

egglog

egraphs + datalog!

rhombus-prototype

Brainstorming and draft proposals for Rhombus

holmes

A reference library for constraint-solving with propagators and CDCL.

little

A small, easily embedded language implemented in a single .c file

tiny-games-hs

Haskell Tiny Game Jam

LSTS

Large Scale Type Systems (programming language)

ProofNet

Benchmark for undergraduate-level formal mathematics

smol_world

Compact garbage-collected heap and JSON-like object model

tails

A fast, minimal Forth-like interpreter core in C++ with no assembly

uFork

A pure-actor virtual machine with object-capabilities and memory-safety.

CAMEL99-ITC

Indirect threaded code version of CAMEL99 Forth for TI-99 computer

zechub

A decentralized education hub for Zcash.

kudzu

coverage driven random testing framework

trynocular

lazy generators with observation

wordseg

Fast word segmentation with a focus on splitting #hashtags

gen-rs

Probabilistic programming in Rust, with modeling and inference separated by a Generative Function Interface (GFI).

mawk2

lazyweb

punycc

Very small self-compiling cross compiler for a subset of C