Supercharge your applications with SCION's path-aware networking capabilities!
☆31Oct 26, 2026Updated this week
Alternatives and similar repositories for scion-sdk
Users that are interested in scion-sdk 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
- Go bindings for nft utility.☆20Aug 2, 2023Updated 3 years ago
- Public repository for SCION applications☆33Sep 30, 2026Updated last month
- An open-source implementation of a RFC 8572 sZTP server for touchlessly bootstrapping network devices.☆14Feb 25, 2025Updated last year
- reading list on software performance☆15Oct 3, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Framework for persisting event-sourced entities in PostgreSQL.☆24Oct 23, 2026Updated last week
- ☆14Jun 12, 2026Updated 4 months ago
- Secure Zero Touch Provisioning (sZTP) in OPI☆32Jan 21, 2025Updated last year
- This crate provides core types for interoperating with IPLD.☆34Feb 17, 2026Updated 8 months ago
- SCIONLab user interface and administration☆10Sep 25, 2026Updated last month
- no_std compatible, pure Rust implementation of the Noise protocol framework with post-quantum support☆45Aug 30, 2026Updated 2 months ago
- Bubo, the owl strategist, here to help you to build a fortune. NyxsOwl is an innovative machine learning framework designed to simplify a…☆10Jul 8, 2025Updated last year
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14Sep 24, 2026Updated last month
- Mu-FRET adds refactoring functionality to the Formal Requirements Elicitation Tool (FRET). Originally this work was part of the VALU3S pr…☆13Mar 14, 2026Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- https://conf.researchr.org/details/icfp-splash-2025/icfp-splash-2025-tutorials/5/A-guided-tour-through-Oxidized-OCaml☆22Jun 18, 2026Updated 4 months ago
- ☆21Jul 24, 2026Updated 3 months ago
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- Implementing CIS 194 (2013) Haskell course in C++☆24Nov 6, 2025Updated 11 months ago
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆11Dec 16, 2018Updated 7 years ago
- ☆15Jun 18, 2026Updated 4 months ago
- REAPI server that turns remote build actions into Nix derivations☆15Sep 27, 2026Updated last month
- UCL latex letter template☆11Feb 19, 2026Updated 8 months ago
- ☆10Sep 18, 2026Updated last month
- 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.
- A lightweight, embedded homeserver written in Rust.☆47Updated this week
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆12Jul 1, 2020Updated 6 years ago
- llm-powered theorem proving for isabelle/hol☆16Jul 22, 2026Updated 3 months ago
- Tool to select and copy special characters from all installed fonts☆18Oct 14, 2026Updated 2 weeks ago
- ☆13Jan 6, 2026Updated 9 months ago
- Typeset decoupled notes, connectors, and spatial highlights in Typst.☆15Updated this week
- Novel polynomial basis for a reed solomon encoder☆39Oct 23, 2026Updated last week
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 years ago
- A toy programming language you use to build other toys☆13May 15, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆14Sep 20, 2026Updated last month
- Decree Fiat Shamir Library☆13Aug 12, 2026Updated 2 months ago
- A analog modeling DSP plugin (VST3, AU, LV2) with a lot of saturation models and cab simulation.☆23Nov 10, 2025Updated 11 months ago
- Verifying the SCION architecture using Gobra☆12Sep 22, 2026Updated last month
- p4 controller in Rust☆12Feb 22, 2021Updated 5 years ago
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆48Sep 25, 2026Updated last month
- 🦀 Convert Ed25519 public keys between various encoding formats such as Base16, Base32z, Base58, Base64, Multibase, and OpenSSH.☆18Oct 17, 2026Updated 2 weeks ago