A formalized proof of Carleson's theorem in Lean

A fast serialization and validation library, with builtin support for JSON, MessagePack, YAML, and TOML

“Safest, Fastest, Easiest, and Most advanced” Python HTTP Client. Production Ready! Drop-in replacement for Requests. HTTP/1.1, HTTP/2, and HTTP/3 supported. With WebSocket, and SSE! Be free of Req…

Solves the direct and inverse geodesic problem

⏰ Modern datetime library for Python

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

The math library of Lean 4

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 machine learning from time series

Automated Time Series Forecasting

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 package with sklearn like functionality

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

Quick and Easy Time Series Outlier Detection

Removes unused imports and unused variables as reported by pyflakes

Inspects Python source files and provides information about type and location of classes, methods etc

Python Linter for performance anti patterns

Tool for fixing trivial problems with your code.