☆31Aug 19, 2026Updated 2 weeks 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:
- ☆63Aug 24, 2026Updated last week
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆39Nov 21, 2025Updated 9 months ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆30Mar 21, 2023Updated 3 years ago
- A simple python implementation of a DFA.☆23May 10, 2024Updated 2 years ago
- ☆14Apr 30, 2025Updated last year
- 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.
- A development version of the numerically exact variant of MIP solver SCIP☆11Mar 22, 2023Updated 3 years ago
- Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.☆15Jul 11, 2025Updated last year
- tikzwolke is a cloud-based service converting <script> tags with TikZ code into SVG images☆14Feb 23, 2019Updated 7 years ago
- Polyite: Iterative Schedule Optimization for Parallelization in the Polyhedron Model☆13Jan 19, 2020Updated 6 years ago
- AES-GEM (AES Galois Extended Mode) implementation.☆14May 19, 2026Updated 3 months ago
- [WIP] 外来語（カタカナ）の書き方を扱うtextlintルールプリセット☆17Jun 24, 2026Updated 2 months ago
- Functional GPU programming - DSEL & compiler☆22Sep 9, 2016Updated 9 years ago
- This project contains Qualcomm's Vuforia SDK and GameKit source, configured to work together to create immersive Augmented Reality applic…☆17Jun 26, 2012Updated 14 years ago
- Real-time, interactive exploration of 3D image stacks☆13Nov 25, 2019Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Parallel/GPU level set volume segmentation using OpenCL☆18Apr 23, 2019Updated 7 years ago
- A two-dimensional, triangular programming language.☆18Apr 16, 2021Updated 5 years ago
- Unikernel applications framework☆13Jun 1, 2025Updated last year
- Make AES-GCM safe to use with random nonces, for any practical number of messages.☆19Sep 16, 2025Updated 11 months ago
- SODECL is a library of ordinary differential equation (ODE) and stochastic differential equation (SDE) solvers in OpenCL.☆11Jul 4, 2020Updated 6 years ago
- Scanning tool for BSM models☆11Jun 18, 2019Updated 7 years ago
- ☆17Dec 30, 2020Updated 5 years ago
- Winforms app to convert Mapbox GL JSON styles to Mapzen YAML styles☆12Apr 30, 2019Updated 7 years ago
- Synthesis and Reprogramming of Most Permissive Boolean Networks☆16Updated this week
- 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.
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆22Mar 21, 2021Updated 5 years ago
- Decision trees generated via Graphviz to inform pragmatic threat modelling.☆11Jan 16, 2021Updated 5 years ago
- LaTeX/MetaPost package for making geometry diagrams in the style of Oliver Byrne's rendition of Euclid's Elements☆27Jul 7, 2026Updated last month
- A small library for BDD manipulation in Rust. Part of the BioDivine toolset.☆26Jul 5, 2026Updated last month
- Quick lookup files for SUNBURST Backdoor☆12Dec 15, 2020Updated 5 years ago
- A github action to create a file in your github workflow.☆10Jun 11, 2026Updated 2 months ago
- coq-tutorial☆17Nov 11, 2019Updated 6 years ago
- [2.3] UNOFFICIAL repo of FeynRules written by Christensen, Duhr, Fuks, et al.☆12Jul 10, 2025Updated last year
- A library for parsing security advisories☆14Jul 16, 2026Updated last month
- 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.
- ☆15Apr 6, 2026Updated 4 months ago
- Downloading and displaying academic ancestry☆16Oct 1, 2015Updated 10 years ago
- AWS CloudWatch Events Collector☆13Aug 21, 2026Updated 2 weeks ago
- FeynGKZ: a Mathematica package for solving Feynman integrals using GKZ hypergeometric systems☆13Mar 10, 2023Updated 3 years ago
- VR JuggLua: A Framework for VR Applications Combining Lua, OpenSceneGraph, and VR Juggler☆12Sep 29, 2014Updated 11 years ago
- Collection of scripts to analyse the Linux kernel☆10Aug 25, 2019Updated 7 years ago
- Graphical user interface for tensor networks☆13Jul 27, 2020Updated 6 years ago