selbyk / pagesimLinks
Simulation of common page replacement algorithms used by operating systems to manage memory usage.
☆53Updated 10 years ago
Alternatives and similar repositories for pagesim
Users that are interested in pagesim are comparing it to the libraries listed below
Sorting:
- rcor C compiler (under development)☆115Updated 8 years ago
- My implementations of deterministic and non-deterministic turing machines☆72Updated 2 years ago
- A small unit testing framework for C☆123Updated 8 years ago
- A light-weight, user-space, event-driven, highly-scalable, TCP/IP stack using Tilera's mPIPE API.☆127Updated 10 years ago
- userspace tools for linux libos☆96Updated 3 years ago
- state machine visual debugger☆121Updated 10 years ago
- 🔄 Flexible C memory allocation scheme☆79Updated 7 months ago
- Simple command-line based calculator.☆57Updated 6 years ago
- Tiny system call tracer and debugger☆109Updated 7 years ago
- A simple re-implementation of Google's sparsehash as a learning excercise.☆40Updated last year
- BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.☆117Updated 4 months ago
- Teach myself about interpreters, JITs, and compilers using the Brainfuck language as the toy language☆87Updated 3 years ago
- Example of CPU simulation in software☆159Updated 10 years ago
- yet another lexical preprocessor☆40Updated 4 years ago
- Kitsune runtime, driver, ktcc, xfgen, documentation, and test suite.☆165Updated 10 years ago
- A graph based REPL that saves to and loads from disk☆44Updated 10 years ago
- No sane compiler would optimize atomics: the presentation☆108Updated 9 years ago
- C code indexer using language semantic from clang☆60Updated 6 years ago
- Describe C function prototypes in JSON.☆24Updated 10 years ago
- Software Development Platform for ARM / Android terminals☆39Updated 9 years ago
- echo prints the first positional argument to stdout☆59Updated 8 years ago
- Pbd is a Python module to disassemble serialized protocol buffers descriptors (https://developers.google.com/protocol-buffers/).☆86Updated 4 years ago
- ☆48Updated 10 years ago
- collection of well commented socket programming code☆101Updated 9 years ago
- A library for Rapid {C|Concurrency|Correct} Development☆34Updated 10 years ago
- Data structure server.☆181Updated 9 years ago
- Open Network Inspection Command Suite☆10Updated 3 years ago
- A work-in-progress JIT-powered regex engine☆112Updated 7 years ago
- Speculative Paxos replication protocol☆133Updated 9 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆325Updated 9 years ago