An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

A collection of formalized statements of conjectures in Lean.

by ex-googlers, for ex-googlers - a lookup table of similar tech & services

Lists of company wise questions available on leetcode premium. Every csv file in the companies directory corresponds to a list of questions on leetcode for a specific company based on the leetcode …

Dryad talks to you tree! Easy semantic code search on any repository

Claude Engineer is an interactive command-line interface (CLI) that leverages the power of Anthropic's Claude-3.5-Sonnet model to assist with software development tasks.This framework enables Claud…

A generative and self-guided robotic agent that endlessly propose and master new skills.

OpenAI Baselines: high-quality implementations of reinforcement learning algorithms

The fastai book, published as Jupyter Notebooks

Plugin for CTFd that integrates a web based shell

A plugin for CTFd to facilitate generating and serving unique problem instances to compeitors