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
• gs0510 / rustrace
  Strace in Rust
  ☆48Updated 3 years ago
• damienstanton / ctrs
  Category Theory For Programmers (Bartosz Milewski)
  ☆67Updated 3 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 5 years ago
• jhartwell / haml-rs
  A pure Rust implementation of the Haml template language
  ☆61Updated 4 years ago
• emberian / lets-build-a-compiler
  abandoned update of jack crenshaw's compilers intro
  ☆116Updated 6 years ago
• asajeffrey / parsell
  Parsell: an LL(1) parser combinator library for Rust
  ☆74Updated 5 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• kitfre / Kinder
  Algebraic structure and emulation of higher kinded types for Rust
  ☆109Updated 6 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated last month
• cis198-2016f / slides
  Slides for CIS 198 (Fall 2016) -- Read online at:
  ☆28Updated 8 years ago
• Storyyeller / easy_strings
  Ergonomic, garbage collected strings for Rust
  ☆37Updated 8 years ago
• ajtulloch / roogle
  Rust API search engine
  ☆56Updated 10 years ago
• davidMcneil / the-rusty-web
  Targeting the web with Rust.
  ☆126Updated 6 years ago
• ashleygwilliams / a-very-brief-intro-to-rust
  a very quick intro to rust syntax for those new to the language
  ☆155Updated 7 years ago
• computationclub / computationclub.github.io
  The website of the London Computation Club
  ☆74Updated 2 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• Mathieu-Desrochers / Learning-Rust
  Minimal working examples of Rust's features.
  ☆73Updated 7 years ago
• denismerigoux / rox-star
  Rust to F* toolchain
  ☆43Updated 6 years ago
• hwayne / learntla
  A TLA+ guide
  ☆278Updated 3 years ago
• jonhoo / trawler
  Workload generator that emulates the traffic pattern of lobste.rs
  ☆71Updated 4 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• clintonmead / haskell_bits
  ☆54Updated 5 years ago
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆35Updated 6 years ago
• serde-deprecated / quasi
  No longer maintained
  ☆38Updated 8 years ago
• harpocrates / language-rust
  Parser and pretty-printer for the Rust language
  ☆87Updated 2 years ago
• steveklabnik / indexlist
  indexlist: A doubly linked list, backed by a vector
  ☆85Updated 2 years ago