ths-rwth / carlView external linksLinks
☆30May 19, 2025Updated 8 months ago
Alternatives and similar repositories for carl
Users that are interested in carl are comparing it to the libraries listed below
Sorting:
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆37Nov 21, 2025Updated 2 months ago
- A Modern Probabilistic Model Checker☆161Updated this week
- ☆13Apr 30, 2025Updated 9 months ago
- A library of formal models in the jani-model format.☆14Sep 5, 2022Updated 3 years ago
- ☆24Jan 14, 2026Updated last month
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆28Mar 21, 2023Updated 2 years ago
- GPI-Space: Memory Driven Computing and Big Data☆10Jan 2, 2025Updated last year
- Self-evaluating RAG application on LangCheck docs☆11Sep 10, 2025Updated 5 months ago
- Theses-Checker is a tool for students and teachers alike to check theses for frequent typographical errors and see content analysis for q…☆15Jan 5, 2026Updated last month
- A Simple Algorithm for Minimum Cuts in Near-Linear Time (SWAT '20)☆12Apr 24, 2020Updated 5 years ago
- IonQ iQuHACK 2024 Remote Challenge☆11Feb 3, 2024Updated 2 years ago
- ☆20Updated this week
- LINE: Loop Integrals Numerical Evaluation☆11Jun 18, 2025Updated 7 months ago
- gammcor code☆11Sep 25, 2025Updated 4 months ago
- Simple getting started procedure for SciCat☆11Updated this week
- Official PyTorch code for UAI 2023 paper "Concurrent Misclassification and Out-of-Distribution Detection for Semantic Segmentation via En…☆12Nov 10, 2023Updated 2 years ago
- A framework for few-shot evaluation of autoregressive language models.☆12Jul 14, 2025Updated 7 months ago
- PSI-MOD ontology for modified and unmodified amino acid residues☆14Jan 8, 2026Updated last month
- A NOMAD plugin containing base sections for material processing.☆11Jan 20, 2026Updated 3 weeks ago
- A development version of the numerically exact variant of MIP solver SCIP☆12Mar 22, 2023Updated 2 years ago
- ☆13Oct 6, 2020Updated 5 years ago
- A Python client library for accessing IQM quantum computers☆13Mar 26, 2025Updated 10 months ago
- Amplify your coding capabilities with AI - your smart co-pilot for an elevated coding experience.☆14Updated this week
- Winforms app to convert Mapbox GL JSON styles to Mapzen YAML styles☆12Apr 30, 2019Updated 6 years ago
- 🕋 React hook for local storage on the server, browser, and react native☆14Jan 5, 2023Updated 3 years ago
- LatNet Builder: A General Software Tool For Constructing Highly Uniform Point Sets☆17Aug 22, 2025Updated 5 months ago
- Simple and clear project management tool. With which it is possible to display one or more projects graphically.☆15Jan 13, 2025Updated last year
- A gray and blue theme for JSDoc.☆10Jul 16, 2017Updated 8 years ago
- Graphical user interface for tensor networks☆12Jul 27, 2020Updated 5 years ago
- JWSACruncher v2☆10Feb 5, 2026Updated last week
- Quandela iQuHACK 2024 Remote Challenge☆10Feb 4, 2024Updated 2 years ago
- INFRA-COMPASS is a tool that leverages Large Language Models (LLMs) to create and maintain an inventory of state and local codes and ordi…☆14Feb 7, 2026Updated last week
- A github action to create a file in your github workflow.☆10Apr 5, 2024Updated last year
- An open source algorithmic contest platform☆31Jul 22, 2014Updated 11 years ago
- Workshop that will take you from Graph Neural Networks (GNNs) to Transformers, architectures which have led to numerous breakthrough achi…☆13Sep 11, 2023Updated 2 years ago
- Une application web opensource de gestion de projets à l'aide de kanbans, pour les groupes, collectifs et associations.☆13Nov 27, 2021Updated 4 years ago
- Implementation of the Pairformer model used in AlphaFold 3☆14Updated this week
- Variational Discriminator Bottleneck: Improving Imitation Learning, Inverse RL, and GANs by Constraining Information Flow - Tensorlfow Im…☆13Feb 2, 2019Updated 7 years ago
- Tutorials and documentation for working with Pasqal classes in cirq☆10Jun 11, 2020Updated 5 years ago