A DSL for Software-Defined Satellite Applications
☆24Apr 14, 2020Updated 5 years ago
Alternatives and similar repositories for splice
Users that are interested in splice are comparing it to the libraries listed below
Sorting:
- Ruby Regular Expression Helper Gem☆17Oct 30, 2016Updated 9 years ago
- test framework☆11Jun 2, 2021Updated 4 years ago
- Pointcheval Sanders signature☆27Jan 16, 2020Updated 6 years ago
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Sep 28, 2022Updated 3 years ago
- Make AES-GCM safe to use with random nonces, for any practical number of messages.☆18Sep 16, 2025Updated 5 months ago
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆18Mar 14, 2021Updated 4 years ago
- Reference implementation of the BLZZRD variant of the BLISS Ring-LWE Signature Scheme☆17Oct 11, 2016Updated 9 years ago
- Corny COBS encode/decode for Rust no_std targets☆21Nov 10, 2022Updated 3 years ago
- Life before `main()`☆19Feb 2, 2021Updated 5 years ago
- Handling of BER, CER, and DER encoded data in Rust.☆21Oct 31, 2025Updated 4 months ago
- Performant parser for textual data (CSV parser)☆34Oct 28, 2018Updated 7 years ago
- Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.☆22Jun 5, 2023Updated 2 years ago
- A Rust USB library which works on both native and WASM targets☆23Dec 5, 2025Updated 2 months ago
- Script generated finite field arithmetic for elliptic curve cryptography☆24Feb 12, 2026Updated 2 weeks ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆29Aug 30, 2022Updated 3 years ago
- [Experiment] Real Time for The Masses on Linux☆27Jul 11, 2019Updated 6 years ago
- Formal Analysis of the PQXDH Protocol☆30Jun 6, 2024Updated last year
- ☆17Updated this week
- Fast constant-time AES implementations on 32-bit architectures☆69Oct 17, 2024Updated last year
- Vectorized AVX-512 256-bit arithmetic library☆34Sep 28, 2024Updated last year
- An implementation of ZKBoo☆33May 10, 2022Updated 3 years ago
- no-std no-alloc Rust protobufs.☆34Jul 15, 2025Updated 7 months ago
- A Rust library for talking to J-Link USB devices☆42Jan 4, 2024Updated 2 years ago
- Client Package for the Amazon DynamoDB Service☆13Jan 12, 2020Updated 6 years ago
- Add a Solr-backed search interface to Omeka.☆22Feb 6, 2021Updated 5 years ago
- A fresh look at embedded Rust development☆35May 5, 2021Updated 4 years ago
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 7 years ago
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆38Apr 11, 2025Updated 10 months ago
- Time management library for embedded devices☆12Apr 21, 2019Updated 6 years ago
- English Georgian Dictionary for iPhone☆21Apr 19, 2018Updated 7 years ago
- [DEPRICATED] Project won't be continued.☆10Jul 31, 2023Updated 2 years ago
- A VS Code Workspace for developing Zephyr Projects☆11Jun 7, 2023Updated 2 years ago
- ☆12Feb 5, 2026Updated 3 weeks ago
- A tool for secret-shared passphrases.☆14Jan 17, 2022Updated 4 years ago
- ☆19Feb 5, 2026Updated 3 weeks ago
- Good enough eci / ecef conversion tool.☆11Feb 20, 2023Updated 3 years ago
- The software for the Ribbit Network Frog Sensor☆12Jun 2, 2025Updated 8 months ago
- Experimenting with Rust's fundamental data model☆58Feb 10, 2026Updated 2 weeks ago
- Simple single-screen JavaScript-driven OAuth 1.0 signed call and execution app.☆15Mar 6, 2011Updated 14 years ago