SCION Internet Architecture
☆586Oct 29, 2026Updated this week
Alternatives and similar repositories for scion
Users that are interested in scion are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 😎 A list of awesome SCION tools, applications, libraries etc.☆62Jul 21, 2026Updated 3 months ago
- This repository represents the current SCION version deployed at SCIONLab.☆39May 15, 2026Updated 5 months ago
- Public repository for SCION applications☆33Sep 30, 2026Updated last month
- Supercharge your applications with SCION's path-aware networking capabilities!☆32Oct 26, 2026Updated last week
- RAINS (Another Internet Naming Service)☆10Mar 19, 2026Updated 7 months 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.
- Verifying the SCION architecture using Gobra☆12Sep 22, 2026Updated last month
- A Flake to build Kiosks at SCaLE - based on https://github.com/MatthewCroughan/raspberrypi-nixos-example/☆14Mar 24, 2026Updated 7 months ago
- Macros for auto-upgradable Bazel build dependencies to use with --experimental_resolved_file_instead_of_workspace☆16Feb 24, 2023Updated 3 years ago
- Geolocate your files!☆16Jan 7, 2022Updated 4 years ago
- The hedgehog dataplane☆21Updated this week
- SIMD autovectorizer for Go loops☆23Oct 6, 2026Updated 3 weeks ago
- ☆19Jan 9, 2024Updated 2 years ago
- MRT/BGP data parser written in Rust.☆143Updated this week
- SRv6 Controller☆27Oct 14, 2018Updated 8 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.
- Architecture, interface, and implementation drafts for the definition of an abstract API for IETF TAPS☆26Mar 12, 2024Updated 2 years ago
- ☆11Apr 17, 2023Updated 3 years ago
- The anonymous credentials zoo☆16Mar 17, 2021Updated 5 years ago
- Software distribution system for projects funded via Next Generation Internet (NGI)☆24Updated this week
- Package vsock provides access to Linux VM sockets (AF_VSOCK) for communication between a hypervisor and its virtual machines. MIT Licens…☆397Updated this week
- ☆25Jan 29, 2019Updated 7 years ago
- Kubernetes API client library☆11Mar 21, 2019Updated 7 years ago
- Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.☆232Updated this week
- Holo is a suite of routing protocols designed to support high-scale and automation-driven networks.☆544Oct 12, 2026Updated 3 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A curated list of PureScript packages for the Erlang backend☆10Jun 29, 2022Updated 4 years ago
- Erlang Distribution through ssh☆12Nov 13, 2015Updated 10 years ago
- Proof Annotation Language: inline Pulse annotations for C☆14Updated this week
- TLA embedding in Verus☆35Updated this week
- Reproducible network experiments with a single command, on a single machine with Nix☆34Oct 23, 2026Updated last week
- Parses https://eprint.iacr.org/eprint-bin/search.pl?last=365&title=1 and sends you an email with the latest papers☆15Nov 11, 2020Updated 5 years ago
- Containerlab topologies for routing software interoperability tests.☆26Dec 6, 2025Updated 10 months ago
- OpenFlow 1.0 protocol and controller in Rust.☆28Aug 6, 2023Updated 3 years ago
- Main repository for the mion network operating system☆15Jul 29, 2021Updated 5 years ago
- 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.
- ABE GPSW scheme using BLS pairing implemented in Rust.☆17May 23, 2023Updated 3 years ago
- Interface wrapper generator for Go☆26Jun 22, 2024Updated 2 years ago
- QUIC benchmark and analysis tools☆20Jan 7, 2023Updated 3 years ago
- Bisect nix builds. Status: alpha/proof of concept. You'll probably have to dig into the implementation if you want to use it. Built for p…☆123Aug 8, 2024Updated 2 years ago
- A compiler for darklang☆12Oct 26, 2026Updated last week
- A memory-hard password hashing function.☆74May 29, 2023Updated 3 years ago
- A UDP-based transport protocol that takes an "opinionated" approach, similar to QUIC but with a focus on providing reasonable defaults r…☆16Sep 9, 2026Updated last month