Stars
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
A tool for deductive verification of Python programs based on Dafny
A cross-platform command-line utility that creates projects from cookiecutters (project templates), e.g. Python package projects, C projects.
A game theoretic approach to explain the output of any machine learning model.
Lexer generator for C, C++, D, Go, Haskell, Java, JS, OCaml, Python, Rust, Swift, V and Zig.
A list of generic tools for parsing binary data structures, such as file formats, network protocols or bitstreams
Python implementation of Gorilla time series compression
Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals
A set of Python bindings and examples for PicoScope® oscilloscope and PicoLog® data logger products.
😎 Awesome lists about all kinds of interesting topics
An orchestration platform for the development, production, and observation of data assets.
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
A framework for modeling and simulating dynamical systems
Digital Signal Processing - Theory and Computational Examples
Beckhoff protocol to communicate with TwinCAT devices.
Python library for parsing the NMEA 0183 protocol (GPS)
Quasi-Monte Carlo point generators, automatic transformations, and adaptive stopping criteria
NI-DAQmx API for Python, created and supported by NI
An implementation of the JSON Schema specification for Python
List of tools & datasets for anomaly detection on time-series data.
Seamless operability between C++11 and Python
This repository is for coding exercises listed in Book Hands on One Shot Learning.
A Python implementation of Jerome Friedman's Multivariate Adaptive Regression Splines
Kalman Filter, Smoother, and EM Algorithm for Python
The machine learning toolkit for time series analysis in Python
A Python toolkit for rule-based/unsupervised anomaly detection in time series