☆31Aug 19, 2026Updated 2 months ago
Alternatives and similar repositories for carl
Users that are interested in carl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆64Aug 24, 2026Updated 2 months ago
- Python bindings for carl☆11May 27, 2025Updated last year
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆40Oct 22, 2026Updated last week
- A Modern Probabilistic Model Checker☆177Oct 26, 2026Updated last week
- Python Bindings for the Probabilistic Model Checker Storm☆47Updated 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.
- A Shape Analysis Tool based on Graph Grammars☆14Jul 5, 2026Updated 3 months ago
- Mirror of old PRISM subversion trunk. Now replaced by "prism" repo, but some forks of this may still exist.☆11Aug 15, 2017Updated 9 years ago
- ☆14Apr 30, 2025Updated last year
- Python code (using regina, snappy, and sage) for working with transverse taut and veering ideal triangulations.☆10Updated this week
- A simple and robust way to call a C compiler from Python☆11Aug 3, 2012Updated 14 years ago
- Homological Algebra Programming☆15Updated this week
- DFTCalc: A Dynamic Fault Tree calculator for reliability and availability☆17Nov 7, 2024Updated last year
- ☆24Oct 22, 2026Updated last week
- Jupyter wrapper kernel for singular☆11Jun 12, 2024Updated 2 years 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.
- A safe implementation of hazard pointers in rust☆13Jun 22, 2026Updated 4 months ago
- PyPI binary distribution of CBC optimizer☆15Updated this week
- A software package for computation of sheaf cohomologies for line bundles on toric varieties.☆12Sep 26, 2025Updated last year
- Repository for Understanding Linear Algebra☆12Sep 18, 2026Updated last month
- PoC for the taint-based ROP approach☆14Jul 16, 2023Updated 3 years ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆13Sep 4, 2024Updated 2 years ago
- Cython extension class to allocate memory. Source repository for https://pypi.org/project/memory-allocator/☆12Oct 22, 2026Updated last week
- An easy docker-compose deployement of hotcrp☆22Sep 7, 2022Updated 4 years ago
- FromTo is a helper library that makes it simple to handle asynchronous actions with views for Android and Java/Kotlin.☆14Feb 25, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A collection of slides of the SMT course I held at University of Milan in fall 2011☆10Mar 14, 2015Updated 11 years ago
- Free group automorphisms and train-track representative in python/sage☆12Sep 18, 2025Updated last year
- Trampolines, to emulate tail-recursion.☆14Oct 31, 2018Updated 8 years ago
- Rust xml tree parser to read, modify, and write xml☆10Nov 5, 2021Updated 4 years ago
- Example of an over all attack using DLL_Wrapper.☆11Aug 22, 2017Updated 9 years ago
- Fork of Bliss☆15Dec 13, 2025Updated 10 months ago
- PolyLib official git.☆15Sep 23, 2026Updated last month
- Nefertiti is a fresh theme for Sphinx v7 or superior, based on Bootstrap 5.3, with customizable fonts, color sets, light and dark support…☆27Oct 7, 2026Updated 3 weeks ago
- A fast, cross-platform binary package manager built on OCI registries. Turn Docker Hub, GHCR, or any OCI-compliant registry into a binary…☆20Oct 26, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- symbolic execution engine for brainfuck because lol☆14Feb 5, 2017Updated 9 years ago
- A Python Library to interact with the Cell Collective API v2☆12Dec 8, 2022Updated 3 years ago
- Notebook widgets in pure Python☆18Mar 19, 2026Updated 7 months ago
- libretro implementation of the core emulation in BSNES, a Super Nintendo (SNES) emulator.☆12Sep 4, 2026Updated last month
- Matroids in Lean☆19Dec 23, 2023Updated 2 years ago
- Teichmüller dynamics in SageMath☆14Oct 1, 2026Updated last month
- tikzwolke is a cloud-based service converting <script> tags with TikZ code into SVG images☆14Feb 23, 2019Updated 7 years ago