scraps of a potential language
☆38Apr 9, 2021Updated 5 years ago
Alternatives and similar repositories for seaslug
Users that are interested in seaslug 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 template for writing your Bachelor, Master or PhD thesis.☆11Sep 25, 2023Updated 2 years ago
- constant-size associative container backed by a simple array☆20Aug 6, 2023Updated 2 years ago
- Rust CASPaxos implementation☆66Oct 27, 2020Updated 5 years ago
- simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly☆143Jul 11, 2020Updated 5 years ago
- miniserde minus the dependencies☆20Aug 25, 2021Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- scan-resistant concurrent lazy LRU☆63Aug 5, 2023Updated 2 years ago
- high-efficiency concurrent reclamation☆39Aug 29, 2024Updated last year
- Main sources of systems of Immux☆39Mar 8, 2021Updated 5 years ago
- DBMS Performance & Correctness Testing Framework☆30Sep 22, 2021Updated 4 years ago
- super simple in-memory blocking LSM for constant-size keys and values☆72Feb 21, 2025Updated last year
- raw bindings for git://git.kernel.dk/liburing☆16Jan 15, 2020Updated 6 years ago
- <RPC (HATEOAS) actions on a universally addressable publickey>. Copernica is a transport agnostic, privacy preserving, Information-centri…☆11Jun 14, 2022Updated 3 years ago
- ☆21Nov 26, 2022Updated 3 years ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆41Aug 20, 2024Updated last year
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- ☆13Dec 7, 2025Updated 4 months ago
- ☆12Feb 24, 2024Updated 2 years ago
- Source code of phaazon.net.☆11Sep 17, 2024Updated last year
- cargo subcommand for building proc-macro crates with web assembly☆34Oct 23, 2020Updated 5 years ago
- Log call tree summaries after each request for rust programs instrumented with `tracing`.☆45Updated this week
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 3 months ago
- rust database engineering toolkit☆35Aug 6, 2021Updated 4 years ago
- A data wrangling library for Rust☆15Jun 30, 2019Updated 6 years ago
- Terrible, terrible voxel thing, written in Rust.☆12Jul 13, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Combine a reader + writer into a duplex of Read + Write☆44Oct 15, 2020Updated 5 years ago
- Working examples in the Vale programming language☆14Mar 21, 2022Updated 4 years ago
- Light-weight desktop client for instant messaging services (abandoned)☆48Dec 22, 2020Updated 5 years ago
- ☆21Jan 12, 2025Updated last year
- Key-value git-like storage with full history backed by RocksDB☆13Aug 18, 2020Updated 5 years ago
- model testing sugar for testing interactions on structures over time☆26Jul 24, 2019Updated 6 years ago
- Simple, Erlang-inspired fault-tolerance framework for Rust Futures.☆132Jul 7, 2021Updated 4 years ago
- Research papers on: Consensus, CRDTs, Failure detectors, Distributed Scheduling and Network Topology.☆20Aug 10, 2018Updated 7 years ago
- An implementation of the Two-Level Segregated Fit (TLSF) allocator with optimized memory footprint☆14Jan 12, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An experimental columnar arena☆43Feb 8, 2026Updated 2 months ago
- pure rust io_uring library, built on libc, thread & async friendly, misuse resistant☆1,000Jun 27, 2022Updated 3 years ago
- HTTP Security Headers☆26Apr 17, 2020Updated 5 years ago
- Simulated playground for distributed algorithms☆14Aug 10, 2020Updated 5 years ago
- ☆16Jan 28, 2021Updated 5 years ago
- A model checker for implementing distributed systems.☆1,791Jul 27, 2025Updated 8 months ago
- ui library inspired by elm☆19Feb 22, 2022Updated 4 years ago