Stars
A community database for the problems on the erdosproblems.com site
🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites
A collection of tools for writing technical documents that mix Coq code and prose.
The matrix cookbook, proved in the Lean theorem prover
ORB forcefield models from Orbital Materials
Sidechain conditioning and modeling for full-atom protein sequence design
All about the fundamental blocks of TF and JAX!
All about the fundamentals and working of Diffusion Models
Blueprint for the PNT+ Project
An AI for playing NES Tetris at a high level. Based primarily on search & heuristic, with high quality board evaluation through value iteration.
Official implementation of the paper "CoEdIT: Text Editing by Task-Specific Instruction Tuning" (EMNLP 2023)
COATI: multi-modal contrastive pre-training for representing and traversing chemical space
Joint sequence and structure generation with RoseTTAFold sequence space diffusion
A generic implementation of the AAG key exchange using the SageMath computer algebra system.
An Open-Ended Embodied Agent with Large Language Models
Making Protein Design accessible to all via Google Colab!
This project converts structured Lean code into an interactive browser game.
flame is a federated learning system for edge with flexibility and scalability at the core of its design.
Code for the ProteinMPNN paper
🛠All-in-one web-based IDE specialized for machine learning and data science.
Barbershop: GAN-based Image Compositing using Segmentation Masks (SIGGRAPH Asia 2021)
Computations and statistics on manifolds with geometric structures.