Stars
Wraps PyTorch code in a JIT-compatible way for JAX. Supports automatically defining gradients for reverse-mode AutoDiff.
A library for building dynamic webapps, using Js_of_ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
A SystemVerilog language server based on the Slang library.
Core Components for the Gaudi-based Key4hep Framework
A Spack recipe repository of Key4hep software.
A collection of formalized statements of conjectures in Lean.
A lean repository for building many-sorted logic, with a view towards model theory of valued fields
Optax is a gradient processing and optimization library for JAX.
Awesome machine learning for combinatorial optimization papers.
500 AI Machine learning Deep learning Computer vision NLP Projects with code
A curated list of insanely awesome libraries, packages and resources for Quants (Quantitative Finance)
A computer algebra system written in pure Python
The Prometheus monitoring system and time series database.
Easy to maintain open source documentation websites.
The new Windows Terminal and the original Windows console host, all in the same place!
🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.
Julep — durable, composable AI agents. Flows that crash and resume, retry safely, and explain every step.
Gemma open-weight LLM library, from Google DeepMind
An Evaluation Taxonomy for Pedagogical Ability Assessment of LLM-Powered AI Tutors
A technology made for future human civilizaton
The fullstack MCP framework to develop MCP Apps for ChatGPT / Claude & MCP Servers for AI Agents.
MCP Voice assistant powered by mcp-use
Always know what to expect from your data.
Approximate Nearest Neighbors in C++/Python optimized for memory usage and loading/saving to disk
A library for efficient similarity search and clustering of dense vectors.