A DSL for Software-Defined Satellite Applications
☆25Apr 14, 2020Updated 6 years ago
Alternatives and similar repositories for splice
Users that are interested in splice are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The AeroRust Nanosat embedded workshop with 2 subsystems - Onboard computer and power system including some peripheral crates☆39Mar 11, 2025Updated last year
- A simple redirect domain to the catalogue of aerospace crates found in the Rust ecosystem found on https://aerorust.org/catalogue☆18Sep 29, 2022Updated 4 years ago
- List of awesome resources for Aerospace and Rust☆119Mar 15, 2021Updated 5 years ago
- Arsdk-rs - PoC of SDK for https://parrot.com #drones 🛩️☆22Jan 21, 2025Updated last year
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆20Mar 14, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- test framework☆11Jun 2, 2021Updated 5 years ago
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Sep 28, 2022Updated 4 years ago
- Standalone Motorola 68000 disassembler, compatible with GNU AS and Sierra ASM68☆15Mar 21, 2026Updated 7 months ago
- Reference implementation of the BLZZRD variant of the BLISS Ring-LWE Signature Scheme☆17Oct 11, 2016Updated 10 years ago
- https://aerorust.org - The AeroRust community website - building the Rust 🦀 ecosystem for Aerospace 🚀 applications☆28Feb 2, 2026Updated 8 months ago
- The course guide for the Vulnerability Research Development Program.☆13Jun 6, 2023Updated 3 years ago
- Handling of BER, CER, and DER encoded data in Rust.☆23Sep 14, 2026Updated last month
- NMEA 0183 - for communication between marine electronics such as echo sounder, sonars, anemometer, gyrocompass, autopilot, GNSS receivers…☆111Oct 24, 2026Updated last week
- Script generated finite field arithmetic for elliptic curve cryptography☆26Oct 23, 2026Updated last week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Rust computer vision core crate☆27Jun 23, 2020Updated 6 years ago
- A generated thin wrapper around libsel4.a, with supporting subcrates.☆13Jan 24, 2022Updated 4 years ago
- Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.☆22Jun 5, 2023Updated 3 years ago
- Progressive hashing PoC☆14Jan 29, 2026Updated 9 months ago
- ☆10Dec 3, 2022Updated 3 years ago
- A pretty printer for Lean 4☆10Mar 18, 2023Updated 3 years ago
- Go implementation of bcrypt_pbkdf(3) from OpenBSD☆15Jun 27, 2026Updated 4 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆35Aug 30, 2022Updated 4 years ago
- Erlang URI Handling Library☆11Jun 3, 2026Updated 4 months 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.
- Erlang ETS Counter Table library☆15Oct 12, 2021Updated 5 years ago
- Wrappers around secp256k1 to expose the underlying math, specifically unwrapped points and scalars with multiexponentiation☆12Apr 20, 2025Updated last year
- Python machine learning library for Super Mario Kart☆12Jan 18, 2020Updated 6 years ago
- a Lean wrapper for the MD4C Markdown parser☆13Jun 22, 2026Updated 4 months ago
- 32-bit hashing machinery☆16Apr 30, 2026Updated 6 months ago
- Performant parser for textual data (CSV parser)☆34Oct 28, 2018Updated 8 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- Very fast lock-free, bounded, work-stealing queues with FIFO stealing and LIFO or FIFO semantic for the worker thread.☆92Sep 8, 2024Updated 2 years ago
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Dec 18, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- std::io for no_std☆27May 5, 2026Updated 5 months ago
- Estimate effective resource limits for a process e.g. how much RAM is available for use☆18Updated this week
- CLI utilty to work out proper constants for vpternlogic instruction☆13Jan 22, 2023Updated 3 years ago
- Run your tests locally against multiple node.js versions☆10Oct 12, 2026Updated 2 weeks ago
- no-std no-alloc Rust protobufs.☆34Jul 15, 2025Updated last year
- Datalog interpreter in Lua☆11May 3, 2025Updated last year
- A Dockerfile for building the TLA+ tools☆13Dec 30, 2018Updated 7 years ago