Alternatives and similar repositories for kernel

Users that are interested in kernel are comparing it to the libraries listed below

• zesterer / atto
  An insanely simple self-hosted functional programming language
  ☆161Updated 6 years ago
• cronokirby / ludus
  A pluggable NES emulator
  ☆31Updated 6 years ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆72Updated 8 years ago
• thepowersgang / rust-barebones-kernel
  A barebones framework for a rust kernel.
  ☆287Updated 3 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆51Updated 8 years ago
• pi-pi3 / too-funky
  Yet another educational x86 protected mode kernel. This time in Rust lang.
  ☆11Updated 7 years ago
• redox-os / kernel
  Mirror of https://gitlab.redox-os.org/redox-os/kernel
  ☆796Updated last week
• JDemler / BidirectionalTypechecking
  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
  ☆118Updated 6 years ago
• sos-os / kernel
  The Stupid Operating System
  ☆274Updated 7 years ago
• graydon / rust-prehistory
  historical archive of rust pre-publication development
  ☆699Updated last year
• Marwes / haskell-compiler
  A mostly functional haskell compiler written in rust
  ☆321Updated last year
• antoyo / tiger-rs
  Rust implementation of the projects from the book Modern Compiler Implementation in ML
  ☆145Updated 6 months ago
• dls / house
  Haskell Operating System
  ☆170Updated 16 years ago
• medek / nasm-rs
  Originally a mirror of Allen Goodman's nasm repo updated to 1.3.0
  ☆22Updated 2 months ago
• jzck / kernel-zig
  hobby x86 kernel zig
  ☆435Updated 2 years ago
• sorpaas / rux
  A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
  ☆307Updated 6 years ago
• pikelet-lang / pikelet
  A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
  ☆629Updated 4 years ago
• jDomantas / plank
  ☆60Updated 4 years ago
• Overv / MineAssemble
  A tiny bootable Minecraft clone written partly in x86 assembly
  ☆1,067Updated 2 years ago
• tathougies / hos
  The functional Haskell kernel
  ☆140Updated 9 years ago
• brendanzab / moniker
  Automagical variable binding library for Rust
  ☆68Updated 6 years ago
• nwoeanhinnogaehr / algorithmw-rust
  A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
  ☆44Updated 9 years ago
• fhaynes / iridium
  A register-based VM in Rust
  ☆73Updated 6 years ago
• bheisler / raytracer
  A toy raytracer in Rust
  ☆235Updated 4 years ago
• athas / raytracers
  Performance comparison of parallel ray tracing in functional programming languages
  ☆307Updated 2 years ago
• 64 / solstice
  x86_64 operating system, written in Rust
  ☆33Updated 4 years ago
• felko / linear-algebra
  Linear algebra formalization in Agda
  ☆16Updated 6 years ago
• repnop / bismite
  ☆16Updated 4 years ago
• tupai-os / tupai
  Tupai is a multi-tasking operating system I wrote for my degree that focuses on safety and design, targeting a variety of platforms.
  ☆25Updated 7 years ago
• kili-ilo / roc-random
  🦅 🎲 Roc library for number generation (and more!)
  ☆10Updated 9 months ago