rzippo / nancyLinks
A computational library for Deterministic Network Calculus
☆20Updated 2 weeks ago
Alternatives and similar repositories for nancy
Users that are interested in nancy are comparing it to the libraries listed below
Sorting:
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆97Updated last week
- The NetworkCalculus.org Deterministic Network Calculator☆32Updated 2 years ago
- The main development version of the PRISM model checker.☆181Updated this week
- The Git repository for the mCRL2 toolset.☆103Updated this week
- Virtual machine for executing CUDA PTX without a GPU☆42Updated 2 years ago
- Repository for the HARDENS project☆26Updated last year
- P4 formalization using Ott and HOL4☆15Updated 3 weeks ago
- Petr4: Formal Semantics for P4☆83Updated 7 months ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆11Updated 2 years ago
- A Language Server Protocol (LSP) compliant analyzer for the P4 language☆22Updated 2 years ago
- Management of Benchmark Instances and Instance Attributes☆20Updated 2 months ago
- Prototype which extracts stateful dataflows by analysing Python code.☆21Updated 3 years ago
- Intermediate Language (IL) for Hardware Accelerator Generators☆582Updated this week
- A framework to ease parallelization of sequential SAT solvers☆30Updated 3 weeks ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆138Updated 2 months ago
- A Lazy Clause Generation Constraint Programming solver written in Rust.☆64Updated last week
- A small library for BDD manipulation in Rust. Part of the BioDivine toolset.☆24Updated last month
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆148Updated this week
- A P4 compiler☆135Updated last week
- Formalization of DBSP☆28Updated 2 years ago
- Verifying concurrent storage and distributed systems☆216Updated this week
- A verifier for automated and interactive proofs about transition systems.☆180Updated last month
- A language for symbolic transitions system, inspired by Ivy.☆71Updated 5 months ago
- An awesome list of e-graph resources☆293Updated last month
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆72Updated 8 months ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 4 years ago
- A tool to visualize distributed system logs☆86Updated 4 years ago
- The glucose SAT solver☆136Updated last month
- The core Strymon execution run-time☆30Updated 7 years ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆21Updated 2 weeks ago