rzippo / nancyLinks
A computational library for Deterministic Network Calculus
☆19Updated last week
Alternatives and similar repositories for nancy
Users that are interested in nancy are comparing it to the libraries listed below
Sorting:
- The NetworkCalculus.org Deterministic Network Calculator☆27Updated 2 years ago
- A Language Server Protocol (LSP) compliant analyzer for the P4 language☆22Updated 2 years ago
- Intermediate Language (IL) for Hardware Accelerator Generators☆544Updated last week
- The rustic MLIR bindings in Rust☆426Updated this week
- Petr4: Formal Semantics for P4☆80Updated last month
- Using OMNeT++ from python☆66Updated 3 years ago
- Starlink simulator for COMP0031☆40Updated 4 years ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 2 months ago
- Programming Language for Continuous Deep Analytics☆47Updated last year
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆12Updated 2 years ago
- Collaborative Parallelization Framework (CPF)☆32Updated 2 years ago
- A P4 compiler☆132Updated this week
- ☆11Updated 3 years ago
- Repository for the HARDENS project☆25Updated 8 months ago
- Time-sensitive affine types for predictable hardware generation☆145Updated last month
- Main repository of the BeFaaS project☆14Updated 2 years ago
- Collaborative Datacenter Simulation and Exploration for Everybody☆90Updated 2 weeks ago
- Anonymized code for NCFlow, NSDI 2021 Spring submission☆23Updated 4 years ago
- Concurrent decision diagram framework written in Rust☆62Updated 2 weeks ago
- Prototype which extracts stateful dataflows by analysing Python code.☆21Updated 2 years ago
- YATES (Yet Another Traffic Engineering System)☆68Updated 2 years ago
- ☆11Updated last year
- ☆16Updated last month
- Virtual machine for executing CUDA PTX without a GPU☆38Updated last year
- ☆36Updated 2 years ago
- A hardware compiler based on LLHD and CIRCT☆263Updated last month
- Network Programming with Relational and Procedural Abstractions (NERPA)☆32Updated 2 years ago
- [SIGCOMM 2021] ARROW: Restoration-Aware Traffic Engineering☆14Updated 3 years ago
- ☆40Updated 3 years ago
- An attempt at safe imperative GPU programming.☆46Updated last week