Lightweight coding agent that runs in your terminal

Post-training with Tinker

An native MCP server extension for Ghidra

Lossless codec for numerical data

A non-saturating, open-ended environment for evaluating LLMs in Factorio

A preprint version of our recent research on the capability of frontier AI systems to do self-replication

Official repository for the Boltz biomolecular interaction models

OCaml bindings for PyTorch

A library to help writing wrappers around ocaml code for python

A dbg(…) macro for C++

Multicore OCaml

Instructions for setting up an OCaml development environment

A algebraic word problem dataset, with multiple choice questions annotated with rationales.

NABERT model for solving the DROP dataset

Public Source Seeking Repository

TinyML AI inference library

High-performance TensorFlow library for quantitative finance.

Probabilistic reasoning and statistical analysis in TensorFlow

Python interface for Parrot Drones

Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research

The main firmware for the Crazyflie Nano Quadcopter.

Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research

Scanning Microphone setup and code snippets

A customizable CSP solver for Harvard CS concentrators to optimize and plan their schedules

A research paper proposing a new mathematical method (inverse Lanczos interpolation) to create continuous 2D cosmic dust maps from discrete, scattered observations, allowing astronomers to correct…

Named Tensor implementation for Torch

Implementation and evaluation code for the IMSum and DIMSum algorithms for optimal elephant flow detection.