Trace Python+NumPy programs into SymPy formulas and check them symbolically, across all branches
☆27Oct 1, 2026Updated 3 weeks ago
Alternatives and similar repositories for scikit-verify
Users that are interested in scikit-verify are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The computational platform u-signal3D defines a shape-invariant representation of the spatial scales of molecular organization at the cel…☆11Oct 1, 2026Updated 3 weeks ago
- Unified API for streaming camera frames to either OME-TIFF or OME-Zarr format☆13Sep 18, 2026Updated last month
- A Python Library for Discrete Time Markov Chain based stochastic analysis☆23Sep 9, 2026Updated last month
- An extremely light-weight and simple command line tool to convert Markdown files to GitHub-styled HTML.☆15Mar 31, 2026Updated 6 months ago
- Python utilities for the PERT distribution with sampling and moments☆10Feb 27, 2026Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆13Mar 3, 2026Updated 7 months ago
- Datamodel support for the roman calibration pipeline☆15Oct 15, 2026Updated 2 weeks ago
- Equal Earth Projection for matplotlib☆17Sep 24, 2018Updated 8 years ago
- Multiscale Image Restoration for fluorescence microscopy☆10Jun 17, 2023Updated 3 years ago
- Curated awesome list of academic resources for teaching and research in computer science☆25Aug 5, 2026Updated 2 months ago
- canonical-imports follows your imports and finds out where the things you are importing are actually defined☆17Oct 5, 2026Updated 3 weeks ago
- Declare a mechanics situation once and derive the figure, the free-body diagram, and the solution from it.☆23Oct 9, 2026Updated 2 weeks ago
- Understand your Python codebase. 📡 Summarizes your directory in a single table. Displays the file structure of all the files, their func…☆12May 15, 2025Updated last year
- Code accompanying paper titled "Algorithmic Guarantees for Inverse Imaging with Untrained Network Priors"☆10Sep 8, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Go library for linear state-space control systems☆15Updated this week
- Automatic multi-parameter design optimization for superconducting quantum devices☆22Oct 7, 2026Updated 3 weeks ago
- The PyCascades Code of Conduct Hotline☆14Jan 19, 2018Updated 8 years ago
- Mamo: a Mathematical Modeling Benchmark with Solvers☆16Jun 12, 2024Updated 2 years ago
- NanoDet Plus for a bare Raspberry Pi 4☆11Sep 30, 2023Updated 3 years ago
- ☆19May 8, 2026Updated 5 months ago
- This repository provides the Openpilot configuration to integrate with Carla. The setup was originally implemented for safety evaluation…☆12Feb 22, 2022Updated 4 years ago
- frc is a Python package for computing the Fourier Ring Correlation (FRC) of images using DIPlib☆16Oct 10, 2026Updated 2 weeks ago
- Autonomous Indoor Drone with Simulation and Hardware-Setup using ROS and SLAM☆12Jan 23, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 2D and 3D image deconvolution with python☆15Sep 20, 2024Updated 2 years ago
- SAPIEN Manipulation Skill Framework, a GPU parallelized robotics simulator and benchmark☆10Jan 24, 2025Updated last year
- Nancy Grace Roman Space Telescope shared attributes for processing and archive☆17Oct 15, 2026Updated 2 weeks ago
- Toggleable "follow PDF" for VimTeX☆23Aug 4, 2026Updated 2 months ago
- GAPPS is a library that allows developers to easily and flexibly build add-ons for Google Workspace using Python 🐍. With GAPPS, you can …☆24Jul 20, 2026Updated 3 months ago
- Transfinite ordinal arithmetic and factorisation up to epsilon-zero☆16Mar 22, 2022Updated 4 years ago
- ☆14Jan 27, 2024Updated 2 years ago
- stl container for numba☆16Apr 15, 2025Updated last year
- Python bindings for the signed-heat-3d library, which implements the Signed Heat Method for generalized signed distance.☆20May 21, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 🌯A small library that wraps a Starboard Notebook iframe in the parent webpage☆16Oct 8, 2021Updated 5 years ago
- Jev-vs-ML☆18Sep 22, 2026Updated last month
- deprecate and refactor code across library boundaries☆18Updated this week
- Productive Sparse Array Programming☆27Updated this week
- A game-show roguelike about a roguelike game show☆18Nov 13, 2023Updated 2 years ago
- A package for EEG time series classification built on the aeon toolkit.☆33Updated this week
- Claude Code skills for ROS 2 Jazzy — establish the unknowns first, verify against the installed system, prove the result ran.☆20Sep 26, 2026Updated last month