Practical course: Advanced Systems Programming in C/Rust -- SoSe 2023
☆25Jul 1, 2023Updated 2 years ago
Alternatives and similar repositories for docs
Users that are interested in docs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cloud lab material☆36Jan 30, 2023Updated 3 years ago
- Documentation and links about the course☆24Jan 17, 2023Updated 3 years ago
- ☆16Oct 9, 2023Updated 2 years ago
- Series of CLI tools for Hyperswarm☆18Jun 18, 2022Updated 4 years ago
- CLI tool that counts how many lines per second is written to it☆18Jul 31, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Exercises for Learning MLIR (Originally written for PPoPP 2026)☆104Feb 5, 2026Updated 4 months ago
- Generate a strong link to a hypercore seq that contains a root hash of the merkle tree at that time☆14May 27, 2020Updated 6 years ago
- Bindings for macOS ScreenCaptureKit.☆18Mar 20, 2025Updated last year
- Tape Planner Promise☆17Aug 31, 2021Updated 4 years ago
- Real-time distributed storage for files and key value databases built on top of Hypercore Protocol☆10Jan 7, 2022Updated 4 years ago
- ☆12Aug 8, 2022Updated 3 years ago
- Simply tool that proxies http-server over Hyperswarm☆28Oct 18, 2021Updated 4 years ago
- Text input box that autocompletes hashtags, mentions and related entities. Built with React & Redux.☆14Sep 16, 2017Updated 8 years ago
- An iterator to iterate an array in random order with controls to requeue or dequeue elements during the iteration☆26Nov 30, 2020Updated 5 years ago
- 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.
- Message seeding utility for friends P2P chat.☆24Aug 29, 2018Updated 7 years ago
- SE 350: Operating Systems☆24Jun 20, 2023Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Jan 1, 2024Updated 2 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Jul 3, 2017Updated 8 years ago
- Zig Optimizing Backend☆27Jun 6, 2026Updated last week
- Easily create UDP sockets and TCP servers that bind to ports☆36Feb 1, 2022Updated 4 years ago
- Write acceptance tests easily for your CLI program.☆21Nov 25, 2023Updated 2 years ago
- CS 253 Assignment 1 – Journey to the Dark Side 🌘☆16Oct 18, 2021Updated 4 years ago
- The Pulse separation logic DSL for F*☆36May 28, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 🏰 Serving distributed Web Annotations from the decentralized web☆27Nov 18, 2025Updated 7 months ago
- Encryption and signing using public-key cryptography (via tweetnacl)☆16May 11, 2020Updated 6 years ago
- ☆24Jun 12, 2018Updated 8 years ago
- A keyword based search index built on Hypertrie☆28Jun 2, 2020Updated 6 years ago
- udx is reliable, multiplexed, and congestion-controlled streams over udp☆28Jun 11, 2026Updated last week
- Rust implementation of Hyperswarm, a networking stack for connecting peers☆34Apr 3, 2024Updated 2 years ago
- A helper for mocking react router v4 context and childContextTypes when testing components with Enzyme mount() and shallow()☆22Oct 16, 2023Updated 2 years ago
- UI Component☆38Mar 11, 2024Updated 2 years ago
- Access memory using small fixed sized buffers☆32Jun 2, 2021Updated 5 years ago
- 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.
- The crypto primitives used in hypercore, extracted into a separate module☆37May 5, 2026Updated last month
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆118Mar 4, 2026Updated 3 months ago
- Design Resources and Assets [ DEPRECATED - More info on active projects and modules at https://dat-ecosystem.org/ ]☆42Dec 8, 2022Updated 3 years ago
- Generate a cryptographically random password from EFF's improved Diceware word list☆37Aug 28, 2022Updated 3 years ago
- Distributed Secure IRC | Desktop client for PeerLinks protocol☆42Jan 4, 2023Updated 3 years ago
- Tiny, single file, scalable key value store based on HAMTs☆53Jul 17, 2019Updated 6 years ago
- 📼 A tape extension for testing frontend components.☆45Apr 26, 2024Updated 2 years ago