Practical course: Advanced Systems Programming in C/Rust -- SoSe 2023
☆24Jul 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
- ASTER 💫 : Assembly Tooling and Representations☆24Mar 23, 2026Updated last week
- ☆16Oct 9, 2023Updated 2 years ago
- Series of CLI tools for Hyperswarm☆18Jun 18, 2022Updated 3 years ago
- CLI tool that counts how many lines per second is written to it☆18Jul 31, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Exercises for Learning MLIR (Originally written for PPoPP 2026)☆90Feb 5, 2026Updated last month
- Work with window.localStorage as if it were an object☆20Nov 21, 2025Updated 4 months 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
- Zig Optimizing Backend☆25Jun 8, 2025Updated 9 months ago
- Notes, material and various stuff collected while attended TUM Master's Degree☆489Oct 4, 2022Updated 3 years ago
- The Pulse separation logic DSL for F*☆34Updated this week
- udx is reliable, multiplexed, and congestion-controlled streams over udp☆27Mar 4, 2026Updated 3 weeks ago
- A keyword based search index built on Hypertrie☆28Jun 2, 2020Updated 5 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- This repo contains information about DuckDB extensions found on GitHub. Refreshed daily☆112Updated this week
- Browse Hyperdrive 10 archives over a localhost http server☆38Aug 9, 2019Updated 6 years ago
- Simple streamable state machine that implements a useful channel, message-type, message pattern☆39Aug 3, 2020Updated 5 years ago
- UI Component☆38Mar 11, 2024Updated 2 years ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆119Mar 4, 2026Updated 3 weeks ago
- A bot that monitors wg-gesucht.de for new flat offers and automatically writes to the landlords☆30Oct 2, 2022Updated 3 years ago
- Tiny, single file, scalable key value store based on HAMTs☆53Jul 17, 2019Updated 6 years ago
- This is a repository to collect JUnit Tests for GAD exercises at TUM in SS21☆31Apr 29, 2022Updated 3 years ago
- Get a free freebsd shell☆14Nov 8, 2025Updated 4 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Typed python equivalent for R pipes.☆13Oct 16, 2022Updated 3 years ago
- GADT-based field accessors and utilities☆17Jan 15, 2026Updated 2 months ago
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆21Jan 11, 2026Updated 2 months ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 4 months ago
- Algorithms that work on generic C arrays☆11Feb 13, 2017Updated 9 years ago
- Repository containing examples of usage of pcb-rs☆10Apr 8, 2022Updated 3 years ago
- Practical course: Advanced Systems Programming in C/Rust -- WiSe 2023☆32Jan 29, 2024Updated 2 years ago
- As I work thought the book "Practical Binary Analysis" by Dennis Andriesse, https://practicalbinaryanalysis.com/ I try to make editions f…☆11Sep 28, 2021Updated 4 years ago
- Rust SDK for Rigetti Quantum Cloud Services (QCS)☆14Mar 20, 2026Updated last week
- 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.
- A high-performance, thread-safe HashMap and LRU cache for Rust with fine-grained per-key locking.☆15Mar 10, 2026Updated 2 weeks ago
- An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)☆10Mar 7, 2017Updated 9 years ago
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- Priority queue for C☆12Mar 28, 2023Updated 3 years ago
- ☆13Sep 15, 2022Updated 3 years ago
- ☆15Dec 31, 2025Updated 2 months ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 3 years ago