pi-pi3 / too-funkyLinks
Yet another educational x86 protected mode kernel. This time in Rust lang.
☆11Updated 7 years ago
Alternatives and similar repositories for too-funky
Users that are interested in too-funky are comparing it to the libraries listed below
Sorting:
- A functional systems programming language with compile-time memory management☆31Updated 4 years ago
- A VM-based runtime environment for functional programming languages☆51Updated 8 years ago
- abandoned update of jack crenshaw's compilers intro☆116Updated 7 years ago
- A language-based OS to run Rust on bare metal☆86Updated 9 years ago
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆40Updated 7 years ago
- A disassembler framework☆19Updated 3 years ago
- An immutable singly-linked list, as seen in basically every functional language☆30Updated 2 years ago
- x86 bare metal Rust thing☆28Updated 9 years ago
- You've met with a terrible fate, haven't you?☆62Updated 6 years ago
- An ordered map and set based on a trie.☆28Updated 5 years ago
- High-performance concurrency and parallelism in Rust.☆11Updated 8 years ago
- Xen-based unikernel in Rust☆57Updated 9 years ago
- GapBuffer data structure in Rust.☆16Updated 10 years ago
- Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html☆82Updated 5 years ago
- Demo: OS sandboxing for unsafe code in Rust☆13Updated 10 years ago
- Dynamic packet parsing within trees 🌲🌳🌴☆25Updated 8 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Updated 8 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆72Updated 8 years ago
- A monadic IO interface in Rust☆78Updated 9 years ago
- ☆13Updated 9 years ago
- Yet another tiny and unfinished x86/ARM kernel☆81Updated 9 years ago
- ☆27Updated 10 years ago
- The peano numbers implemented in Rust's type system.☆24Updated 9 years ago
- A network stack in pure Rust☆59Updated 9 years ago
- safe and efficient memory manager for microcontrollers☆34Updated 8 years ago
- A toy Lisp compiler targeting x86-64☆40Updated 5 years ago
- Named arguments for Rust☆38Updated 8 years ago
- Haskell's language-c ported to Rust.☆33Updated 7 years ago
- A whitespace JIT compiler☆67Updated 9 months ago
- ☆78Updated 7 years ago