☆11Jul 25, 2025Updated last year
Alternatives and similar repositories for Airobas
Users that are interested in Airobas are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆90Oct 12, 2026Updated 2 weeks ago
- Build and train Lipschitz-constrained networks: PyTorch implementation of 1-Lipschitz layers. For TensorFlow/Keras implementation, see ht…☆44Mar 23, 2026Updated 7 months ago
- Extension to multivariate unconstrained monotonic functions.☆12Feb 7, 2020Updated 6 years ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated last year
- Build and train Lipschitz constrained networks: TensorFlow implementation of k-Lipschitz layers☆102Mar 14, 2025Updated last year
- 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.
- Automated Analysis Framework for Simulink/Stateflow☆14Jul 25, 2023Updated 3 years ago
- A runway dataset and a generator of synthetic aerial images with automatic labeling.☆140Sep 3, 2026Updated last month
- The code behind the GitConsensus Github App☆14Feb 20, 2026Updated 8 months ago
- An interface for managing SWATPlus input and output files to aid in implementing, and visualizing the impact of land use changes on catch…☆12Nov 16, 2022Updated 3 years ago
- Agent skills to help with Continuous Threat Modeling☆20Jul 9, 2026Updated 3 months ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 8 years ago
- A set of tools for leveraging pre-trained embeddings, active learning and model explainability for effecient document classification☆29Jan 23, 2025Updated last year
- A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.☆28Jul 31, 2026Updated 2 months ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆24Jun 17, 2026Updated 4 months ago
- 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.
- A Portfolio Theme for Jekyll☆12Nov 12, 2021Updated 4 years ago
- ☆35Jan 20, 2017Updated 9 years ago
- ☆21Sep 26, 2026Updated last month
- Architectural Framework For Integrated Refinement Modeling☆11May 30, 2017Updated 9 years ago
- A simple script to generate a object detection dataset with MNIST digits☆44Jul 19, 2024Updated 2 years ago
- A tool to explore the effects of stratospheric aerosol injection on the climate☆15Jun 4, 2024Updated 2 years ago
- ☆40Sep 15, 2025Updated last year
- New implementations of old orthogonal layers unlock large scale training.☆33Sep 19, 2025Updated last year
- A model which simulates coastal flooding, and evaluated the economic benefits of climate adaptation strategies.☆11Dec 19, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Repository of COVID-19 related materials developed in the Barrow Innovation Center☆12Apr 3, 2020Updated 6 years ago
- Code and content from my book Vector Databases published by OReilly☆25Aug 18, 2026Updated 2 months ago
- ☆16Mar 17, 2025Updated last year
- Alliance Tracking Website for Screeps☆16May 21, 2024Updated 2 years ago
- ☆10Sep 26, 2021Updated 5 years ago
- A collection of simply bonkers huge tech tests from the industry. PRs welcome☆11Aug 18, 2021Updated 5 years ago
- An architecture diagram editor and code generator☆15Apr 16, 2024Updated 2 years ago
- ☆15May 2, 2024Updated 2 years ago
- ☆18Sep 28, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- NLP Tasks and ML Spam Classification☆27Nov 22, 2018Updated 7 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆28Jul 13, 2026Updated 3 months ago
- generating formally verified C code with LLMs (thesis Merlijn Sevenhuijsen) http://urn.kb.se/resolve?urn=urnsediva-356745☆14Jun 7, 2026Updated 4 months ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- Automatic Respawner for Screeps☆14Sep 17, 2022Updated 4 years ago
- Control Systems Analysis Framework - a framework to minimize the effort required to evaluate, implement, and verify controller design (cl…☆16Nov 21, 2022Updated 3 years ago
- AWS Secrets Manager CLI☆21Mar 14, 2021Updated 5 years ago