🔩 Like builtins, but boltons. 250+ constructs, recipes, and snippets which extend (and rely on nothing but) the Python standard library. Nothing like Michael Bolton.
- python
- utilities
- cache
- data-structures
Repository Index
65,264 visible repositories in the index
1–24 of 35 · Most stars
✨ The fundamental numerical library for JavaScript and TypeScript. ✨ ⭐️ Star to support our work!
- javascript
- stdlib
- nodejs
- library
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
Biomni: a general-purpose biomedical AI agent
A BVH implementation to speed up raycasting and enable spatial queries against three.js meshes.
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- proof-assistant
- lean4
- ai-agents
- ai-for-math
Home Assistant integration to manage climate systems, TVs, fans and lights using IR/RF controllers. Compatible with Broadlink, Xiaomi, MQTT, LOOKin and ESPHome
- iot
- smarthome
- homeassistant
- broadlink
BLAS-like Library Instantiation Software Framework
- blis
- blas
- blas-libraries
- linear-algebra
USD BRep is a standalone C++ and Python library for NURBS-based boundary representation (BRep) solid modeling
The Polygon Mesh Processing Library
- mesh-processing
- geometry-processing
- polygon-mesh
- triangle-mesh
GeneticSharp is a fast, extensible, multi-platform and multithreading C# Genetic Algorithm library that simplifies the development of applications using Genetic Algorithms (GAs).
- genetic-algorithms
- artificial-intelligence
- c-sharp
- dotnet
Fellow Oak DICOM for .NET, .NET Core, Universal Windows, Android, iOS, Mono and Unity
- dicom
- netcore
- medical
- medical-imaging
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
Simultaneous Nuclear Instance Segmentation and Classification in H&E Histology Images.
:1234: Bits, bytes and general-purpose calculator
- storage
- storage-unit-converter
- command-line
- standalone
Lightweight, super fast C/C++ (& Python) library for sequence alignment using edit (Levenshtein) distance.
- sequence-alignment
- edit-distance
- levehnstein-distance
- library
Simulate Functional Mock-up Units (FMUs) in Python
- fmi
- python
- fmi-standard
Dicoogle - Open Source PACS
- dicoogle
- dicom
- pacs
- medical-imaging
GEARS is a geometric deep learning model that predicts outcomes of novel multi-gene perturbations
UCE is a zero-shot foundation model for single-cell gene expression data
Schema and generated objects for biolink data model and upper ontology
- biolink
- monarchinitiative
- gene-ontology
- datamodel
The repository host gives no description.
TranslatedAcademic research library for DSH — search, cite, approve imports, hand off notes. Also: a research literature library plugin for DeepSeek Harness: search papers, include sources, approve imports into the library, and hand off note leads to other plugins in the same session.
- academic
- agentero
- ai-agents
- citations
Molecule Validation and Standardization
- rdkit
- python
- chemistry
- cheminformatics