Lists (6)
Starred repositories
Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory
kim-em / mathlib4
Forked from leanprover-community/mathlib4The math library of Lean 4
Blueprint for the PNT+ Project
A collection of formalized statements of conjectures in Lean.
A formalized proof of Carleson's theorem in Lean
A fast serialization and validation library, with builtin support for JSON, MessagePack, YAML, and TOML
jawah / niquests
Forked from psf/requestsDrop-in replacement for Requests. Automatic HTTP/1.1, HTTP/2, and HTTP/3. WebSocket, and SSE included.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
A project to map out the relations between different equational theories of Magmas.
A Python memory profiler for data processing and scientific computing applications
A tool for visualizing and designing colormaps using colorspacious and matplotlib
🆔 The easy-to-use OpenStreetMap editor in JavaScript.
A toolkit for time series machine learning and deep learning
Temporian is an open-source Python library for preprocessing ⚡ and feature engineering 🛠 temporal data 📈 for machine learning applications 🤖
Poetry PEP 517 Build Backend & Core Utilities
Feature engineering and selection open-source Python library compatible with sklearn.
PyAF is an Open Source Python library for Automatic Time Series Forecasting built on top of popular pydata modules.
A framework for managing and maintaining multi-language pre-commit hooks.
Script that helps link together hiking trails in Wikidata and OpenStreetMap
Robustats is a Python library for high-performance computation of robust statistical estimators.
Extracts N50 topo data from Kartverket and creates OSM file
Visualizing progress of various projects in the norwegian mapping community
A tool (and pre-commit hook) to automatically upgrade syntax for newer versions of the language.
Datasets for deep learning with satellite & aerial imagery
For discussions about the OSM data model and how to improve it