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
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆86Updated last year
• damienstanton / ctrs
  Category Theory For Programmers (Bartosz Milewski)
  ☆67Updated 3 years ago
• gs0510 / rustrace
  Strace in Rust
  ☆48Updated 3 years ago
• jvns / snake.rs
  snake in Rust!
  ☆51Updated 8 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 5 years ago
• asajeffrey / parsell
  Parsell: an LL(1) parser combinator library for Rust
  ☆74Updated 5 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
• 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
• ashleygwilliams / a-very-brief-intro-to-rust
  a very quick intro to rust syntax for those new to the language
  ☆154Updated 7 years ago
• emberian / lets-build-a-compiler
  abandoned update of jack crenshaw's compilers intro
  ☆116Updated 6 years ago
• badboy / hellorust
  Collection of resources & examples for Rust & WebAssembly
  ☆75Updated 6 years ago
• mdg / leema
  A functional programming language designed for concurrency and failure
  ☆44Updated 3 years ago
• softprops / cargo-thanks
  💖 🦀 give thanks to your fellow Rustaceans
  ☆165Updated 6 years ago
• brson / annotated-std-rs
  An annotation of the Rust standard library
  ☆71Updated 10 years ago
• rust-lang-nursery / thanks
  The first version of thanks.rust-lang.org, succeeded by rust-lang/thanks
  ☆95Updated 6 years ago
• sunng87 / urdict
  command line urban dictionary
  ☆42Updated 7 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• denismerigoux / rox-star
  Rust to F* toolchain
  ☆43Updated 6 years ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆70Updated 8 years ago
• davidMcneil / the-rusty-web
  Targeting the web with Rust.
  ☆126Updated 6 years ago
• birkenfeld / ruthenium
  Ack-like search tool written in Rust
  ☆18Updated 9 years ago
• Storyyeller / easy_strings
  Ergonomic, garbage collected strings for Rust
  ☆36Updated 8 years ago
• steveklabnik / indexlist
  indexlist: A doubly linked list, backed by a vector
  ☆85Updated 2 years ago
• jhartwell / haml-rs
  A pure Rust implementation of the Haml template language
  ☆60Updated 4 years ago
• dagit / rust-prolog
  Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html
  ☆82Updated 5 years ago
• request-for-explanation / podcast
  The Request for Explanation podcast that explains Rust RFCs
  ☆60Updated 5 years ago
• nrc / find-work
  find something Rusty to work on
  ☆20Updated 6 years ago
• nikomatsakis / rustypop
  A not-yet-functional Rust parser written in LALRPOP.
  ☆35Updated 8 years ago
• Manishearth / oreutils
  Installer for various Rust reimaginations of coreutils. These are not drop-in replacements.
  ☆94Updated 2 years ago