Starred repositories
A codex plugin for running optimization loops inside a codebase. It is useful when you have a measurable target and many possible changes to try: test runtime, build speed, bundle size, model loss,…
Monty is a sensorimotor learning framework based on the thousand brains theory of the neocortex.
OpenAlpha_Evolve is an open-source Python framework inspired by the groundbreaking research on autonomous coding agents like DeepMind's AlphaEvolve.
Open-source implementation of AlphaEvolve
A collection of formalized statements of conjectures in Lean.
DoWhy is a Python library for causal inference that supports explicit modeling and testing of causal assumptions. DoWhy is based on a unified language for causal inference, combining causal graphic…
Visualization of cache-optimized matrix multiplication
A comprehensive and fair comparison of two neural operators (with practical extensions) based on FAIR data
A web-based ASCII and Unicode diagram builder written in vanilla Javascript
Benchmark framework of compute-in-memory based accelerators for deep neural network (inference engine focused)
A comprehensive collection of KAN(Kolmogorov-Arnold Network)-related resources, including libraries, projects, tutorials, papers, and more, for researchers and developers in the Kolmogorov-Arnold N…
A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training
The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑🔬
A header-only C++ library for sketching in randomized linear algebra
LLMs as Copilots for Theorem Proving in Lean
A massively parallel, high-level programming language
Markdown driven operations - Dependencies and tasks managed by your README
A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more
Alpha Zero implementation for hex game based on alpha-zero-general
Scalable datastore for metrics, events, and real-time analytics
Implementation of Nougat Neural Optical Understanding for Academic Documents
Approximate Nearest Neighbors in C++/Python optimized for memory usage and loading/saving to disk
Weaviate is an open-source vector database that stores both objects and vectors, allowing for the combination of vector search with structured filtering with the fault tolerance and scalability of …
JARVIS, a system to connect LLMs with ML community. Paper: https://arxiv.org/pdf/2303.17580.pdf
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.