Victor Stinner's Notes

A collection of research materials on explainable AI/ML

Positron, a next-generation data science IDE

Claudette is Claude's friend

The official GitHub page for the survey paper "A Survey on Evaluation of Large Language Models".

Transformation to Open Science

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

A collection of TLA⁺ specifications of varying complexities

TLA+ language support for Visual Studio Code

Learn TLA+ for free! No prior experience necessary!

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

Video+code lecture on building nanoGPT from scratch

LLM training in simple, raw C/CUDA

Minimal, clean code for the Byte Pair Encoding (BPE) algorithm commonly used in LLM tokenization.

A handy PDF-to-JSON conversion tool for academic papers implemented in Python.

LARCH: Large Language Model-based Automatic Readme Creation with Heuristics

data manuscript on JWS data

A set of files that can be used to create a working version of an early version of the CLU programming language

Convert CSV files into a SQLite database

A massively parallel, high-level programming language

A massively parallel, optimal functional runtime in Rust

NVDA, the free and open source Screen Reader for Microsoft Windows

a GitHub action to install (pre-release) pythons from deadsnakes

Thread synchronization utilities for Python

Presentations CRob has given over the years

Run and manage FastAPI apps from the command line with FastAPI CLI. 🚀

OpenUI let's you describe UI using your imagination, then see it rendered live.

🦜🔗 Build context-aware reasoning applications

The Mojo Programming Language