☆17Jun 30, 2026Updated last month
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:
- Gate-Level Simulation on a GPU☆10Nov 22, 2016Updated 9 years ago
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 11 years ago
- Attempt to make a python based Operating System, it means that we use language feature to provide security instead of using hardware as i…☆10Jul 22, 2016Updated 10 years ago
- An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)☆19Jan 13, 2017Updated 9 years ago
- An HTML documentation generator for Coq source files☆31Jun 15, 2026Updated 2 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- OCaml syntax extension for synchronous programming...☆33Aug 17, 2023Updated 3 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆59Jul 20, 2025Updated last year
- ☆17Jun 9, 2025Updated last year
- A new framework to generate interpretable classification rules☆18Feb 11, 2023Updated 3 years ago
- Optimization Models used in my e-book with the same title☆14Dec 17, 2025Updated 8 months ago
- ☆17Jun 27, 2023Updated 3 years ago
- Iterate fast on your RAG pipelines☆24Jun 21, 2025Updated last year
- Models (and data) of constrained problems developped with the library PyCSP3☆14Jul 27, 2026Updated 3 weeks ago
- Blech is a language for developing reactive, real-time critical embedded software.☆69Mar 10, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Python Implementation of STreeD: Dynamic Programming Approach for Optimal Decision Trees with Separable objectives and Constraints☆21Aug 5, 2026Updated last week
- MCP tool to solve optimization problems using HiGHS☆16Jun 18, 2025Updated last year
- WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models☆26Sep 23, 2025Updated 10 months ago
- Conference Scheduler Skills for Claude Code using Timefold, SolverForge and Google OR Tools.☆17Mar 7, 2026Updated 5 months ago
- An exact algorithm for the maximum clique problem (MCP) which improves over state-of-the-art approaches in some cases by orders of magnit…☆18Nov 15, 2025Updated 9 months ago
- BoolXAI is a research library for machine learning for Explainable AI (XAI) based on expressive Boolean formulas.☆21Oct 10, 2025Updated 10 months ago
- Hosting of Assignment Visualizations for Discrete Optimization Coursera☆15Nov 16, 2016Updated 9 years ago
- This repository contains materials for AC295 fall 2020☆19Feb 3, 2021Updated 5 years ago
- An extended package for clustering similarity☆73Oct 23, 2025Updated 9 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.
- ☆23Apr 11, 2026Updated 4 months ago
- A collection of basic financial models and helper scripts implemented in Python (using PuLP and Pyomo modeling languages) and AMPL.☆28Jun 19, 2016Updated 10 years ago
- A collaborative benchmark of Discrete Combinatorial Problems for evaluating AI systems in generating constraint models from natural langu…☆20Updated this week
- Random-Key Optimizer (RKO) - C++ framework☆21Mar 31, 2025Updated last year
- A Python durations parsing library☆26Nov 10, 2015Updated 10 years ago
- Refinement types with static checking☆194Dec 21, 2024Updated last year
- Representing CP problems as graphs☆21Dec 18, 2024Updated last year
- Intuitive symbolic interface for constrained optimization problems. Write natural Python, get automatic gradients and solvers.☆25May 28, 2026Updated 2 months ago
- Python SDKs for Nextmv☆22Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- [INTERSPEECH 2012] Feature Selection in High-Dimensional Classification☆19Aug 8, 2015Updated 11 years ago
- Contains Code for Contextual Bandits Decision Tree☆21Jun 11, 2019Updated 7 years ago
- A Framework for Deep Neural Network Verification☆57Dec 14, 2024Updated last year
- A list of research relevant to open source programs☆31Jun 5, 2020Updated 6 years ago
- Performance analyzer for Iterative Optimization Heuristics.☆24Sep 26, 2025Updated 10 months ago
- ☆32Oct 7, 2022Updated 3 years ago
- ☆25Aug 6, 2026Updated last week