☆16Jun 30, 2026Updated 4 months ago
Alternatives and similar repositories for these-I3S
Users that are interested in these-I3S are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 11 years ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 4 years ago
- ☆21Oct 2, 2016Updated 10 years ago
- KTH's Timed C compiler☆19Jan 7, 2022Updated 4 years ago
- OCaml syntax extension for synchronous programming...☆33Aug 17, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- An HTML documentation generator for Coq source files☆31Jun 15, 2026Updated 4 months ago
- ☆17Jun 9, 2025Updated last year
- Recording Made Easy☆14Oct 31, 2026Updated last week
- Semantic model for aspects of ELF static linking and DWARF debug information☆64Updated this week
- Constraint solver based on abstract domains☆33Jul 3, 2026Updated 4 months ago
- Ludwig benchmark☆20May 11, 2026Updated 5 months ago
- RobustX is an open-source Python library designed for benchmarking the robustness of counterfactual explanation (CE) methods. It provides…☆12Dec 12, 2025Updated 10 months ago
- Production-Oriented AI Agent Turning Business Problems into Mathematical Optimization Models☆22Jun 10, 2026Updated 4 months ago
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆20Apr 22, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Optimization Models used in my e-book with the same title☆15Dec 17, 2025Updated 10 months ago
- Iterate fast on your RAG pipelines☆24Jun 21, 2025Updated last year
- TreeThink: Mathematical Reasoning of LLMs with Tree Search Methods | EMNLP 2026 System Demonstrations☆18Oct 24, 2026Updated 2 weeks ago
- A new framework to generate interpretable classification rules☆18Feb 11, 2023Updated 3 years ago
- Models (and data) of constrained problems developped with the library PyCSP3☆14Updated this week
- Conference Scheduler Skills for Claude Code using Timefold, SolverForge and Google OR Tools.☆17Mar 7, 2026Updated 8 months ago
- MCP tool to solve optimization problems using HiGHS☆17Jun 18, 2025Updated last year
- Hosting of Assignment Visualizations for Discrete Optimization Coursera☆15Nov 16, 2016Updated 9 years ago
- Python Implementation of STreeD: Dynamic Programming Approach for Optimal Decision Trees with Separable objectives and Constraints☆21Aug 5, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆23Updated this week
- This repository contains materials for AC295 fall 2020☆19Feb 3, 2021Updated 5 years ago
- A Python durations parsing library☆26Nov 10, 2015Updated 10 years ago
- BoolXAI is a research library for machine learning for Explainable AI (XAI) based on expressive Boolean formulas.☆21Oct 10, 2025Updated last year
- A Deductive Verification Tool for OCaml Programs☆85Sep 10, 2026Updated last month
- WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models☆28Sep 23, 2025Updated last year
- Random-Key Optimizer (RKO) - C++ framework☆21Mar 31, 2025Updated last year
- Python SDKs for Nextmv☆22Oct 26, 2026Updated last week
- MIT's Supply Chain Python Package☆31Updated this week
- 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.
- [IJCAI'25] Bandit-based Adaptive Large-Neighborhood Search☆24Aug 13, 2026Updated 2 months ago
- Operations Research Lab — continuous optimisation models for Management Engineering: lecture notes, Python/Gurobi code, data and case stu…☆36Updated this week
- web based visualizations of discrete optimization assignments☆27May 11, 2017Updated 9 years ago
- Official Implementation of Memento☆25Aug 21, 2026Updated 2 months ago
- Performance analyzer for Iterative Optimization Heuristics.☆24Sep 26, 2025Updated last year
- ☆32Oct 7, 2022Updated 4 years ago
- ☆29Nov 2, 2021Updated 5 years ago