☆17Jun 30, 2026Updated last week
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:
- OCaml syntax extension for synchronous programming...☆33Aug 17, 2023Updated 2 years ago
- Repository for Koopman based learning and nonlinear control☆54Dec 8, 2022Updated 3 years ago
- An HTML documentation generator for Coq source files☆31Jun 15, 2026Updated 3 weeks ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆58Jul 20, 2025Updated 11 months ago
- Ludwig benchmark☆20May 11, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- MaxiCP☆38Jun 15, 2026Updated 3 weeks ago
- A new framework to generate interpretable classification rules☆18Feb 11, 2023Updated 3 years ago
- A Python Library for Standardized and Reproducible Data Management in Recommender Systems☆20Apr 23, 2026Updated 2 months ago
- Constraint solver based on abstract domains☆33Updated this week
- Optimization Models used in my e-book with the same title☆14Dec 17, 2025Updated 6 months ago
- ☆16Jun 9, 2026Updated last month
- Models (and data) of constrained problems developped with the library PyCSP3☆14Mar 29, 2026Updated 3 months ago
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆20Apr 22, 2024Updated 2 years ago
- Iterate fast on your RAG pipelines☆24Jun 21, 2025Updated last year
- 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.
- ☆24Jul 2, 2026Updated last week
- An open, end-to-end implementation of TabPFN-like foundation models, covering synthetic priors/data, training, and evaluation on TabArena…☆34Mar 22, 2026Updated 3 months ago
- Python Implementation of STreeD: Dynamic Programming Approach for Optimal Decision Trees with Separable objectives and Constraints☆21Mar 23, 2026Updated 3 months ago
- BoolXAI is a research library for machine learning for Explainable AI (XAI) based on expressive Boolean formulas.☆21Oct 10, 2025Updated 8 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
- ☆23Apr 11, 2026Updated 2 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
- WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models☆26Sep 23, 2025Updated 9 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Random-Key Optimizer (RKO) - C++ framework☆21Mar 31, 2025Updated last year
- Representing CP problems as graphs☆21Dec 18, 2024Updated last year
- An open-source course on constraint solving☆26Oct 24, 2025Updated 8 months ago
- GitHub Mirror of RecPack: Experimentation Toolkit for Top-N Recommendation (see https://gitlab.com/recpack-maintainers/recpack)☆22Dec 11, 2023Updated 2 years ago
- minicp☆30Jun 15, 2026Updated 3 weeks ago
- Contains Code for Contextual Bandits Decision Tree☆21Jun 11, 2019Updated 7 years ago
- A list of research relevant to open source programs☆31Jun 5, 2020Updated 6 years ago
- AI Assistant for Building Reliable, High-performing and Fair Multilingual NLP Systems☆48Aug 19, 2022Updated 3 years ago
- [INTERSPEECH 2012] Feature Selection in High-Dimensional Classification☆19Aug 8, 2015Updated 10 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.
- Performance analyzer for Iterative Optimization Heuristics.☆24Sep 26, 2025Updated 9 months ago
- Original, standard and customisable versions of the Jaro-Winkler functions.☆32Aug 5, 2022Updated 3 years ago
- ☆32Oct 7, 2022Updated 3 years ago
- MIT's Supply Chain Python Package☆29Oct 6, 2025Updated 9 months ago
- web based visualizations of discrete optimization assignments☆27May 11, 2017Updated 9 years ago
- ☆29Nov 2, 2021Updated 4 years ago
- A modular sat/smt solver with proof output.☆104May 4, 2026Updated 2 months ago