uchicago-cs / cmsc23300Links
CMSC 23300 - Networks and Distributed Systems
☆66Updated 5 years ago
Alternatives and similar repositories for cmsc23300
Users that are interested in cmsc23300 are comparing it to the libraries listed below
Sorting:
- The OK Web Server☆266Updated 4 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- ECE 459: Programming for Performance, Winter 2015☆72Updated 10 years ago
- Code samples for using libjit☆91Updated 8 years ago
- l1c is a simple formally verified compiler for a while language☆55Updated 4 years ago
- Teach myself about interpreters, JITs, and compilers using the Brainfuck language as the toy language☆86Updated 3 years ago
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆37Updated 6 years ago
- Lock-free multithreaded memory allocation☆108Updated 8 years ago
- ops-class.org OS/161 sources.☆135Updated 5 years ago
- www.ops-class.org static website sources, including assignments, guides, slides, and course-specific materials.☆92Updated 8 years ago
- Tiny system call tracer and debugger☆110Updated 7 years ago
- Benchmarks for lockfree datastructures.☆120Updated 11 years ago
- No sane compiler would optimize atomics: the presentation☆107Updated 8 years ago
- BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.☆116Updated 3 weeks ago
- C++ framework for realtime machine learning.☆98Updated 11 months ago
- A toy debugger☆69Updated 8 years ago
- Starter template for networking-related programs☆20Updated 6 years ago
- A distributed key-value cache with builtin materialized views.☆25Updated 10 years ago
- Speculative Paxos replication protocol☆131Updated 8 years ago
- A demo of concurrency primitives in x64 assembly☆18Updated 3 years ago
- A library which implements a couple of famous binary search trees.☆165Updated 3 years ago
- Implementation of Raft consensus algorithm☆112Updated 10 years ago
- A light-weight, user-space, event-driven, highly-scalable, TCP/IP stack using Tilera's mPIPE API.☆127Updated 9 years ago
- Compiler intermediate language for static analysis.☆107Updated 6 years ago
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆50Updated 5 months ago
- bit & sketches data structures☆60Updated 6 years ago
- rcor C compiler (under development)☆115Updated 8 years ago
- TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.☆349Updated last week
- ☆49Updated 5 years ago
- A green threads tutorial.☆64Updated 8 years ago