Alternatives and similar repositories for too-funky

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

• hawkw / seax
  A VM-based runtime environment for functional programming languages
  ☆48Updated 8 years ago
• hawkw / mnemosyne
  A functional systems programming language with compile-time memory management
  ☆31Updated 3 years ago
• japaric-archived / eighty-six
  x86 bare metal Rust thing
  ☆28Updated 8 years ago
• rasendubi / bkernel
  Experimental kernel for embedded devices written in Rust
  ☆91Updated 3 years ago
• alexcrichton / rlibc
  ☆77Updated 6 years ago
• CensoredUsername / whitespace-rs
  A whitespace JIT compiler
  ☆67Updated 5 months ago
• paholg / peano
  The peano numbers implemented in Rust's type system.
  ☆24Updated 9 years ago
• QuiltOS / QuiltOS
  A language-based OS to run Rust on bare metal
  ☆86Updated 8 years ago
• gtestault / primitive-recursive-functions
  Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
  ☆40Updated 6 years ago
• bytecodealliance / filecheck
  Library for writing tests for utilities that read text files and produce text output
  ☆22Updated 5 years ago
• contain-rs / trie
  An ordered map and set based on a trie.
  ☆28Updated 5 years ago
• CRust-OS / CRust-OS
  Xen-based unikernel in Rust
  ☆57Updated 8 years ago
• emberian / lets-build-a-compiler
  abandoned update of jack crenshaw's compilers intro
  ☆116Updated 6 years ago
• contain-rs / cons-list
  An immutable singly-linked list, as seen in basically every functional language
  ☆29Updated 2 years ago
• ticki / cake
  A Delicious Build Tool.
  ☆65Updated 8 years ago
• miselin / rustic
  Rustic Embedded Framework
  ☆189Updated 4 years ago
• endoli / burst.rs
  A disassembler framework
  ☆18Updated 2 years ago
• withoutboats / burrito
  A monadic IO interface in Rust
  ☆78Updated 9 years ago
• QuiltOS / QuiltNet
  A network stack in pure Rust
  ☆58Updated 8 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆51Updated 8 years ago
• nabijaczleweli / tweetr
  tweetr is a platform that allows you to create and queue tweets to be shared when YOU want. You create content when you have time and the…
  ☆18Updated 6 years ago
• jorendorff / cell-gc
  A very small GC in Rust, with a safe API
  ☆62Updated last year
• huonw / llvmint
  ☆27Updated 10 years ago
• brendanzab / algebra
  Abstract algebra for Rust (still very much a WIP!)
  ☆62Updated 3 years ago
• fitzgen / bacon-rajan-cc
  ☆94Updated last year
• nikomatsakis / rustypop
  A not-yet-functional Rust parser written in LALRPOP.
  ☆35Updated 8 years ago
• huonw / external_mixin
  Put a program in your program, so you can program while you program.
  ☆46Updated 9 years ago
• msiemens / RusTiny
  A Rust-like language compiling to x86-64 assembler
  ☆53Updated 3 years ago
• comex / namedarg
  Named arguments for Rust
  ☆38Updated 8 years ago
• PolySync / cargo-fel4
  A Cargo subcommand for working with feL4 projects.
  ☆53Updated 7 years ago