😎 A list of awesome SCION tools, applications, libraries etc.
☆60Jul 21, 2026Updated 2 weeks ago
Alternatives and similar repositories for awesome-scion
Users that are interested in awesome-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:
- Supercharge your applications with SCION's path-aware networking capabilities!☆26Jul 27, 2026Updated 2 weeks ago
- SCION Internet Architecture☆558Updated this week
- This repository represents the current SCION version deployed at SCIONLab.☆39May 15, 2026Updated 2 months ago
- Public repository for SCION applications☆30Jul 9, 2026Updated last month
- Verifying the SCION architecture using Gobra☆12Updated this week
- 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.
- SCIONLab user interface and administration☆10Mar 22, 2026Updated 4 months ago
- ☆19Jan 9, 2024Updated 2 years ago
- NWI Engineering's use of Nix☆12Apr 17, 2023Updated 3 years ago
- A 2-4h workshop on the Tamarin protocol verifier.☆23Mar 9, 2026Updated 5 months ago
- Bundlers to drop software onto systems, for good or bad intent☆15Aug 9, 2022Updated 4 years ago
- Python code for controlling Denkovi usb relay boards.☆15Jan 6, 2026Updated 7 months ago
- ITP (ETHZ) Exercise Sheets - LaTeX Style☆17Nov 25, 2014Updated 11 years ago
- Simple, fast, nix.☆16Jan 25, 2022Updated 4 years ago
- Run HTTP and HTTPS traceroutes to detect the network location of censoring middleboxes☆18Mar 30, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Repository of reference Gabriel graph, Internet Topology Zoo, SNDlib, CAIDA and synthetic backbone topologies for networking research☆16Sep 30, 2025Updated 10 months ago
- Day 2 of Lambda School's Machine Learning Mini Bootcamp☆10Aug 31, 2018Updated 7 years ago
- CUDA-enabled ollama nix flake☆14Mar 11, 2024Updated 2 years ago
- A collection of all the content from NixCon Paris 2022 and beyond☆53Apr 30, 2024Updated 2 years ago
- ☆21Apr 14, 2023Updated 3 years ago
- Backup☆10Jun 16, 2026Updated last month
- ☆20Nov 26, 2021Updated 4 years ago
- Automatic ZFS dataset mirroring☆15Mar 22, 2021Updated 5 years ago
- ☆44Feb 17, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Make monorepos with Nix flakes☆20May 25, 2022Updated 4 years ago
- my nix config files☆32Updated this week
- Make Abe yell at stuff!☆283Mar 30, 2026Updated 4 months ago
- Ongoing formal verification for Asterinas OSTD☆52Updated this week
- Use artificial vision to cheat in Biotronic☆36Feb 17, 2009Updated 17 years ago
- This repository contains the code for the paper "Website Fingerprinting in the Age of QUIC" (PETS 2021).☆22Jul 12, 2023Updated 3 years ago
- ChatGPT Prompts curated by Collabnix Community☆21Mar 26, 2023Updated 3 years ago
- A collection of software packages managed with dream2nix [maintainer=@DavHau]☆30Mar 12, 2025Updated last year
- ☆19Updated this week
- 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.
- NixOS on Allwinner D1 RISC-V☆39Oct 21, 2022Updated 3 years ago
- SoCal Linux Expo (SCaLE) on-site network, WiFi, and server configs☆63May 6, 2026Updated 3 months ago
- HTTP server that manages verification requests to different tools from the Viper tool stack.☆16Updated this week
- VSCode Plugin for Gobra☆11Updated this week
- ☆21Mar 17, 2024Updated 2 years ago
- Show off the capabilities of Nix to friend or foe☆14Oct 30, 2024Updated last year
- IDE Integration of Facebook Infer☆15Nov 9, 2022Updated 3 years ago