Starred repositories
A simple bot template that you can use to forecast a Metaculus tournament
This repo is a set of templates that will guide you through a Bayesian analysis in R, even if you have never done Bayesian analysis before. The research paper that accompanies these templates is fo…
Visual Studio Code extension for OCaml
Staging area for a public release of Theorizer
[ACL 2025 Demo] Repository for the demo and paper: ReasonGraph: Visualisation of Reasoning Paths
Natural language tactics to teach mathematics using Lean 4
The CompCert formally-verified C compiler
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
GPTeam: An open-source multi-agent simulation
Ai2 Climate Emulator: fast machine learning models for weather and climate prediction
A JavaScript framework for interactive (mathematical) content.
A collaborative book on algorithms
A package for marking and annotating in math blocks in Typst.
PyTorch building blocks for the OLMo ecosystem
Helper toolkit for creating your own Lean 4 UserWidgets
CodeScientist: An automated scientific discovery system for code-based experiments
Toolkit for linearizing PDFs for LLM datasets/training
Repo housing the open sourced code for the ai2 scholar qa app and also the corresponding library
A curated list of resources dedicated to table recognition
A Deductive Verification Tool for OCaml Programs
Pretty good call graphs for dynamic languages