fluffninja / kernelLinks
☆15Updated 4 years ago
Alternatives and similar repositories for kernel
Users that are interested in kernel are comparing it to the libraries listed below
Sorting:
- An industrial-grade brainfuck compiler☆533Updated last year
- A barebones framework for a rust kernel.☆284Updated 2 years ago
- An imperative, statically-typed toy language☆12Updated 6 years ago
- historical archive of rust pre-publication development☆691Updated 9 months ago
- Experimental operating system written in Zig☆494Updated 9 months ago
- A mostly functional haskell compiler written in rust☆317Updated last year
- Yet another educational x86 protected mode kernel. This time in Rust lang.☆11Updated 7 years ago
- Linear algebra formalization in Agda☆16Updated 5 years ago
- Tupai is a multi-tasking operating system I wrote for my degree that focuses on safety and design, targeting a variety of platforms.☆24Updated 7 years ago
- An incremental approach to compiler construction☆84Updated 5 years ago
- Neuroshok Generic Language☆14Updated 4 years ago
- The functional Haskell kernel☆140Updated 9 years ago
- Doom-like engine on Raspberry Pi, in pure bare metal assembly☆61Updated 7 years ago
- A Gameboy emulator written in Rust.☆233Updated 5 years ago
- A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.☆306Updated 5 years ago
- The Stupid Operating System☆271Updated 6 years ago
- Rust implementation of the projects from the book Modern Compiler Implementation in ML☆145Updated 3 months ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Updated 8 years ago
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆621Updated 4 years ago
- Tools for MIL, a Monadic Intermediate Language☆21Updated 11 months ago
- A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.☆238Updated 8 years ago
- Nihil, a statically typed interpreted functional programming language☆69Updated 4 years ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆116Updated 6 years ago
- An insanely simple self-hosted functional programming language☆158Updated 6 years ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆44Updated 9 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆70Updated 8 years ago
- Library to program x86_64 hardware.☆878Updated last week
- ☆16Updated 3 years ago
- Automagical variable binding library for Rust☆67Updated 5 years ago
- "What comes next? Super Mario 128? Actually, that's what I want to do."☆74Updated last year