😎 A list of awesome SCION tools, applications, libraries etc.
☆59Mar 25, 2026Updated last month
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:
- SCIONLab user interface and administration☆10Mar 22, 2026Updated last month
- NWI Engineering's use of Nix☆12Apr 17, 2023Updated 3 years ago
- A directory of Nix User Groups☆34May 12, 2026Updated last week
- Bundlers to drop software onto systems, for good or bad intent☆15Aug 9, 2022Updated 3 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 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.
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- ☆12Mar 23, 2024Updated 2 years ago
- Code to support the guide to logical induction for software engineers☆11Mar 24, 2025Updated last year
- Nix + Lean = Nale☆12Jul 16, 2023Updated 2 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
- Backup☆10Oct 6, 2025Updated 7 months ago
- Organize mathematical thoughts☆20Oct 6, 2023Updated 2 years ago
- ☆20Nov 26, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- my nix config files☆32Updated this week
- A python implementation of the nobel prize winning matching algorithm.☆10Nov 22, 2023Updated 2 years ago
- ☆44Feb 17, 2023Updated 3 years ago
- Make monorepos with Nix flakes☆21May 25, 2022Updated 3 years ago
- ChatGPT Prompts curated by Collabnix Community☆22Mar 26, 2023Updated 3 years ago
- Repository for community related content for swiyu - the Swiss e-ID trust infrastructure☆42May 7, 2026Updated 2 weeks ago
- Automatic ZFS dataset mirroring☆15Mar 22, 2021Updated 5 years ago
- AI Wargamer and Global Risk Simulator☆13Apr 21, 2025Updated last year
- The Oxide Rust SDK and CLI☆67May 13, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- NixOS on Allwinner D1 RISC-V☆39Oct 21, 2022Updated 3 years ago
- eBPF WireGuard Traffic Obfuscator (QUIC, SIP, SYSLOG, RANDOM)☆72May 5, 2026Updated 2 weeks ago
- A collection of software packages managed with dream2nix [maintainer=@DavHau]☆30Mar 12, 2025Updated last year
- Show off the capabilities of Nix to friend or foe☆14Oct 30, 2024Updated last year
- ☆16Apr 9, 2025Updated last year
- Repository for LambdaConf 2018 and related material.☆23Dec 4, 2018Updated 7 years ago
- ☆21Mar 17, 2024Updated 2 years ago
- SoCal Linux Expo (SCaLE) on-site network, WiFi, and server configs☆63May 6, 2026Updated 2 weeks ago
- A library for mechanistic anomaly detection☆22Jan 9, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆18Updated this week
- A math language for dimensional analysis☆23May 19, 2023Updated 3 years ago
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆25Apr 30, 2026Updated 3 weeks ago
- The tool that makes bisecting nixpkgs pleasant.☆17Jan 22, 2026Updated 3 months ago
- Diff nix build logs with less clutter☆14Nov 7, 2024Updated last year
- bhyve virtual machine manager☆12May 3, 2024Updated 2 years ago
- Minimal Indicator Storage System☆11Feb 8, 2021Updated 5 years ago