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:
- ECE 459: Programming for Performance, Winter 2015☆72Updated 10 years ago
- l1c is a simple formally verified compiler for a while language☆55Updated 5 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- Lock-free multithreaded memory allocation☆108Updated 8 years ago
- The OK Web Server☆266Updated 4 years ago
- Compiler intermediate language for static analysis.☆107Updated 6 years ago
- A distributed key-value cache with builtin materialized views.☆25Updated 10 years ago
- Teach myself about interpreters, JITs, and compilers using the Brainfuck language as the toy language☆86Updated 3 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆38Updated 6 years ago
- No sane compiler would optimize atomics: the presentation☆107Updated 9 years ago
- Tiny system call tracer and debugger☆109Updated 7 years ago
- A light-weight, user-space, event-driven, highly-scalable, TCP/IP stack using Tilera's mPIPE API.☆127Updated 10 years ago
- A tiny 32 bit kernel written in Rust, for fun☆194Updated 8 years ago
- A compiler from ML to C++ template language☆157Updated 10 years ago
- ☆42Updated 9 years ago
- code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896☆18Updated 6 years ago
- A toy debugger☆69Updated 8 years ago
- state machine visual debugger☆121Updated 10 years ago
- C++ framework for realtime machine learning.☆98Updated last year
- rcor C compiler (under development)☆115Updated 8 years ago
- Low-Level Data Structure - efficient data structures, and fast data access in the 3.x/4.x/5.x/6.x kernel☆120Updated 2 years ago
- Starter template for networking-related programs☆20Updated 6 years ago
- Code samples for using libjit☆91Updated 8 years ago
- Not because it is good, but because we can...☆168Updated 5 years ago
- bit & sketches data structures☆60Updated 6 years ago
- Feed-forward Bloom filters☆53Updated 14 years ago
- IPC Examples☆52Updated 6 years ago
- TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.☆350Updated last month
- Arrakis public repository.☆257Updated 7 years ago