Full documentation for the Rel language.
Unix system programming in OCaml
Translation by Daniel C. Bünzli, Eric Cooper, Eliot Handelman, Priya Hattiangdi, Thad Meyer, Prashanth Mundkur, Richard Paradies, Till Varoquaux, Mark Wong-VanHaren
Introduction | RLHF and Post-Training Book by Nathan Lambert
A first-principles introduction to RLHF, what it changes in language models, and how it became part of modern post-training.
Technical Charter
This Charter sets forth the responsibilities and procedures for technical contribution to, and oversight of, Open Responses (the “Project”), an open, vendor-neutral specification for large language model APIs.
RFC: Programming Languages Course Reboot, 2026
Cody - Sourcegraph docs
Documentation for Sourcegraph, the code intelligence platform.
Swival — A coding agent for any model
A CLI coding agent built to be reliable with smaller models, including local ones. Designed for tight context windows and limited resources. Works with LM Studio, llama.cpp, HuggingFace, OpenRouter, Google Gemini, Vertex AI, ChatGPT Plus/Pro, AWS Bedrock, and any OpenAI-compatible server.
Karpathy's LLM Wiki: The Complete Guide to His Idea File
Karpathy's follow-up gist went viral. Complete breakdown with implementation examples.
Welcome to Software Foundations in Coq
Introducing REE: Reproducible Execution Environment
A REE run produces two outputs: the generated text and a receipt. The receipt binds the job inputs to the job output, including the model, prompt, configuration, and generated result.
rektide/cast-mixer
Contribute to rektide/cast-mixer development by creating an account on GitHub.
MetaOCaml
Introduction to BER MetaOCaml: how to use, how to install, the current status and the future development
Stanford CS336 | Language Modeling from Scratch (Spring 2025 Archive)
Archived course website for Stanford CS336: Language Modeling from Scratch (Spring 2025), including schedule, assignments, logistics, and materials.
https://svelte.dev/docs/llms
We support the llms.txt convention for making documentation available to large language models and the applications that make use of them.
