Alternatives and similar repositories for talks

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

• withoutboats / burrito
  A monadic IO interface in Rust
  ☆78Updated 9 years ago
• damienstanton / ctrs
  Category Theory For Programmers (Bartosz Milewski)
  ☆67Updated 3 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆86Updated last year
• asajeffrey / parsell
  Parsell: an LL(1) parser combinator library for Rust
  ☆74Updated 5 years ago
• jvns / snake.rs
  snake in Rust!
  ☆51Updated 8 years ago
• brson / annotated-std-rs
  An annotation of the Rust standard library
  ☆71Updated 10 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 6 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• chris-morgan / arewewebyet
  OBSOLETE. Are we web yet? A simple reckoning of Rust’s readiness for Web-related things.
  ☆46Updated 9 years ago
• jamesbvaughan / httppl
  A simple http server written in Prolog
  ☆30Updated 9 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆72Updated 8 years ago
• birkenfeld / ruthenium
  Ack-like search tool written in Rust
  ☆18Updated 9 years ago
• sunng87 / urdict
  command line urban dictionary
  ☆42Updated 7 years ago
• serde-deprecated / quasi
  No longer maintained
  ☆38Updated 8 years ago
• tree-sitter / rust-tree-sitter
  Rust bindings to Tree-sitter
  ☆34Updated 6 years ago
• kitfre / Kinder
  Algebraic structure and emulation of higher kinded types for Rust
  ☆109Updated 6 years ago
• clintonmead / haskell_bits
  ☆54Updated 5 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆70Updated 6 years ago
• hwayne / learntla
  A TLA+ guide
  ☆278Updated 3 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 2 months ago
• nikomatsakis / rustypop
  A not-yet-functional Rust parser written in LALRPOP.
  ☆36Updated 8 years ago
• jhartwell / haml-rs
  A pure Rust implementation of the Haml template language
  ☆61Updated 4 years ago
• codahale / xoroshiro.rs
  A Rust implementation of the Xoroshiro128+ PRNG.
  ☆19Updated 7 years ago
• nikomatsakis / rust-redex
  A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
  ☆41Updated 11 years ago
• rust-lang-nursery / thanks
  The first version of thanks.rust-lang.org, succeeded by rust-lang/thanks
  ☆95Updated 6 years ago
• strega-nil / cafe-rs
  café, a systems language
  ☆19Updated 7 years ago
• badboy / hellorust
  Collection of resources & examples for Rust & WebAssembly
  ☆75Updated 6 years ago
• denismerigoux / rox-star
  Rust to F* toolchain
  ☆43Updated 6 years ago
• seagreen / plate
  Algebraic type based schema system
  ☆129Updated 5 years ago