Alternatives and similar repositories for too-funky

Users that are interested in too-funky are comparing it to the libraries listed below

• boomshroom / Neos
  A modular OS inspired by the actor model
  ☆8Updated 7 years ago
• hawkw / seax
  A VM-based runtime environment for functional programming languages
  ☆48Updated 8 years ago
• msiemens / RusTiny
  A Rust-like language compiling to x86-64 assembler
  ☆53Updated 3 years ago
• hawkw / mnemosyne
  A functional systems programming language with compile-time memory management
  ☆31Updated 3 years ago
• QuiltOS / QuiltOS
  A language-based OS to run Rust on bare metal
  ☆86Updated 8 years ago
• CRust-OS / CRust-OS
  Xen-based unikernel in Rust
  ☆57Updated 8 years ago
• paholg / peano
  The peano numbers implemented in Rust's type system.
  ☆24Updated 8 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆52Updated 8 years ago
• emberian / lets-build-a-compiler
  abandoned update of jack crenshaw's compilers intro
  ☆116Updated 6 years ago
• gtestault / primitive-recursive-functions
  Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
  ☆39Updated 6 years ago
• osnr / rpi-kernel
  Pseudo-OS for the Raspberry Pi. Written in Rust.
  ☆46Updated 9 years ago
• withoutboats / burrito
  A monadic IO interface in Rust
  ☆78Updated 9 years ago
• toor / lambdaOS
  A very basic operating system written in Rust, with some sprinklings of Assembly.
  ☆24Updated 7 years ago
• Geal / lovecraft
  You've met with a terrible fate, haven't you?
  ☆62Updated 6 years ago
• saschagrunert / peel
  Dynamic packet parsing within trees 🌲🌳🌴
  ☆25Updated 7 years ago
• QuiltOS / QuiltNet
  A network stack in pure Rust
  ☆58Updated 8 years ago
• endoli / burst.rs
  A disassembler framework
  ☆18Updated 2 years ago
• adam-mcdaniel / maroon-lang
  A (nearly) pure functional programming language.
  ☆25Updated 6 years ago
• jDomantas / plank
  ☆60Updated 3 years ago
• nikomatsakis / bidir-type-infer
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆46Updated 9 years ago
• robert-w-gries / rxinu
  Rust implementation of Xinu educational operating system
  ☆34Updated 4 years ago
• souvik1997 / kernel-roulette
  A kernel module written in Rust
  ☆136Updated 6 years ago
• Gankra / thesis
  My Master's Thesis??
  ☆69Updated 9 years ago
• CensoredUsername / whitespace-rs
  A whitespace JIT compiler
  ☆68Updated 4 months ago
• emk / toyos-rs
  Just hacking around on a toy Rust-based on based on the blog posts at http://blog.phil-opp.com/
  ☆90Updated 2 years ago
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆20Updated 7 years ago
• jorendorff / cell-gc
  A very small GC in Rust, with a safe API
  ☆62Updated last year
• tcr / parser-c
  Haskell's language-c ported to Rust.
  ☆32Updated 7 years ago
• dylanmckay / compiler
  A [not-really-working] compiler from the ground-up
  ☆11Updated 7 years ago
• joekain / rusty_trap
  A lightweight debugger library written in Rust.
  ☆20Updated last week