mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity
☆11May 14, 2025Updated last year
Alternatives and similar repositories for metrics
Users that are interested in metrics are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Constraint solver based on abstract interpretation☆11Dec 20, 2024Updated last year
- An open-source course on constraint solving☆30Sep 14, 2026Updated last month
- SynthTL: Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers☆12Sep 20, 2024Updated 2 years ago
- ⭐️ Logistic Regression with Gradient Descent in JavaScript☆11Dec 28, 2017Updated 8 years ago
- Lecture: Practical SAT Solving (ST 2025)☆13Jul 1, 2026Updated 4 months 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.
- A Python Library for modeling combinatorial constrained problems☆89Updated this week
- Abstractions of memory, allocator, vector, tuple, shared_ptr, unique_ptr, bitset, variant and string working on both CPU and GPU☆32Sep 6, 2026Updated last month
- Parsers to Choco3☆10Jul 26, 2019Updated 7 years ago
- ☆10Feb 18, 2023Updated 3 years ago
- Fork of ts (task-spooler by Lluís Batlle i Rossell)☆11Aug 22, 2022Updated 4 years ago
- ☆11Jul 21, 2022Updated 4 years ago
- Powerful assertions made easy: Define assertion levels, get insights with expression decomposition, and switch between exceptions and ass…☆11Aug 19, 2025Updated last year
- Need a name for your project / fictional place / character? Here is your answer.☆17Nov 13, 2014Updated 11 years ago
- Profiling and Visualisation for Constraint Programming☆10May 18, 2022Updated 4 years 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.
- ☆11Jul 25, 2025Updated last year
- SAT-based miner of smallest size decision sets☆13Jan 22, 2021Updated 5 years ago
- Constraint Solver ACE☆41Oct 8, 2026Updated 3 weeks ago
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13May 16, 2022Updated 4 years ago
- Library for creation of SAT instances.☆23Sep 7, 2022Updated 4 years ago
- ☆14Aug 5, 2019Updated 7 years ago
- SMCHR - Satisfiability Modulo Constraint Handling Rules☆14Jul 19, 2018Updated 8 years ago
- Dimacs CNF utilities☆21Sep 29, 2026Updated last month
- Programming language based on the synchronous and constraint paradigms☆15Oct 13, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Generates a workbook from the output of the SMAT tool☆16Sep 6, 2019Updated 7 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- Sources for algorithm selection for combinatorial search problems survey☆17Jul 10, 2019Updated 7 years ago
- Programming Judge☆13Apr 24, 2024Updated 2 years ago
- ☆17Oct 23, 2026Updated last week
- PSyKE: a (Python) platform for symbolic knowledge extraction☆21Oct 27, 2026Updated last week
- Learning DTW-Preserving Shapelets☆24Oct 5, 2023Updated 3 years ago
- Proposal for the expected class.☆18May 12, 2017Updated 9 years ago
- ☆12Nov 20, 2025Updated 11 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Learning and optimization algorithms compatible with EngiBench☆19Oct 1, 2026Updated last month
- Manage your Office 365 tenant using the Office 365 CLI in a SharePoint Framework web part.☆13Sep 12, 2026Updated last month
- MiniCard: An efficient cardinality solver based on MiniSAT☆22Sep 21, 2026Updated last month
- My Talk on C++20's Concepts☆23Sep 23, 2020Updated 6 years ago
- Management of Benchmark Instances and Instance Attributes☆22Updated this week
- XReason - formal reasoning about explanations for ML models☆18Sep 8, 2026Updated last month
- Integer interval arithmetic library☆20May 15, 2025Updated last year