☆22Aug 23, 2026Updated 2 months ago
Alternatives and similar repositories for DCC865-Projeto_e_Analise_de_Algoritmos
Users that are interested in DCC865-Projeto_e_Analise_de_Algoritmos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆13Jan 31, 2024Updated 2 years ago
- OCaml compiler for Konrad Zuse's Plankalkül (1945): the world's first high-level programming language☆18Mar 2, 2026Updated 7 months ago
- Tests of L4S☆16Aug 28, 2021Updated 5 years ago
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- Performant kernels for symmetric tensors☆17Aug 22, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Data plane and control plane implementations of our three variants of PIE for Tofino in P4_16.☆15Jun 28, 2021Updated 5 years ago
- Git repository for the course Logika v računalništvu☆16Apr 5, 2022Updated 4 years ago
- Command line tool for model checking using LTL, CTL and CTL* formulas☆16Nov 15, 2024Updated last year
- Instant 100G emulated network testbed in a pizza box☆26Sep 10, 2024Updated 2 years ago
- ☆21Oct 17, 2025Updated last year
- Envoy-based PostgreSQL Proxy☆11Feb 3, 2020Updated 6 years ago
- UNMAINTAINED - The Python 3.4 standard `ssl` module API implemented on top of pyOpenSSL☆11Sep 8, 2016Updated 10 years ago
- The Swift Programming Language☆13Aug 4, 2021Updated 5 years ago
- contrail web ui controller code☆10Mar 24, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Docker files for Yardstick Framework.☆10May 22, 2015Updated 11 years ago
- A protobuf plugin to generate parquet schemas.☆13Mar 9, 2022Updated 4 years ago
- TriCera: a model checker for C programs☆28Oct 22, 2026Updated last week
- OS X and Linux compatible battery utilities☆11Feb 24, 2023Updated 3 years ago
- Nix packaging of the Intel Tofino SDE☆29Oct 14, 2025Updated last year
- Wait last background job with a nice progress spinner☆13Nov 23, 2020Updated 5 years ago
- CO-RE code for the Netdata eBPF plugin.☆16Updated this week
- Go implementation of Minesweeper game API☆10Aug 21, 2017Updated 9 years ago
- A blue/green deploy implemetation with pure kubernetes☆11Feb 25, 2023Updated 3 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 simple REST-like API (no HATEOAS) example that can be used as a starter kit.☆11Aug 17, 2025Updated last year
- ☆10Jun 22, 2026Updated 4 months ago
- ☆10May 16, 2022Updated 4 years ago
- A default project created with C4 Builder☆10Nov 10, 2021Updated 4 years ago
- using pandas to analyze data from brazilian federal senate☆10Nov 30, 2017Updated 8 years ago
- ✅ Are you sure? No? Confirm Before - Sanity check for your shell commands☆16Feb 22, 2019Updated 7 years ago
- A minimalistic and high-performance SAT solver☆26Mar 4, 2024Updated 2 years ago
- Simple zabbix sender (python 3)☆11Jun 11, 2020Updated 6 years ago
- Python code of the paper Model order reduction of deep structured state-space models: A system-theoretic approach☆14Nov 22, 2024Updated last year
- 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.
- C-BGP is a BGP routing solver☆13Sep 15, 2013Updated 13 years ago
- in simple terms, it pretty prints zap logs and let you query them☆15May 13, 2018Updated 8 years ago
- ☆12Jul 28, 2026Updated 3 months ago
- ☆41Sep 3, 2021Updated 5 years ago
- Demo of extending Envoy with WebAssembly filters written in Rust☆13Apr 10, 2022Updated 4 years ago
- Unofficial and untested binary distributions of GHC on Alpine Linux. Multi-arch (linux/amd64, linux/arm64/v8) GHC musl docker images. Ple…☆45Sep 29, 2026Updated last month
- Contrail analytics IDL☆12Mar 24, 2022Updated 4 years ago