Alternatives and similar repositories for talks

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

• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆85Updated last year
• withoutboats / burrito
  A monadic IO interface in Rust
  ☆77Updated 9 years ago
• damienstanton / ctrs
  Category Theory For Programmers (Bartosz Milewski)
  ☆67Updated 3 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆112Updated 5 years ago
• jhartwell / haml-rs
  A pure Rust implementation of the Haml template language
  ☆60Updated 4 years ago
• 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
• jonhoo / trawler
  Workload generator that emulates the traffic pattern of lobste.rs
  ☆72Updated 4 years ago
• mdg / leema
  A functional programming language designed for concurrency and failure
  ☆44Updated 2 years ago
• emberian / lets-build-a-compiler
  abandoned update of jack crenshaw's compilers intro
  ☆116Updated 6 years ago
• brson / annotated-std-rs
  An annotation of the Rust standard library
  ☆71Updated 9 years ago
• rust-lang-nursery / thanks
  The first version of thanks.rust-lang.org, succeeded by rust-lang/thanks
  ☆95Updated 6 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• davidMcneil / the-rusty-web
  Targeting the web with Rust.
  ☆126Updated 6 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆70Updated 8 months ago
• steveklabnik / indexlist
  indexlist: A doubly linked list, backed by a vector
  ☆85Updated last year
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated last month
• cisco / lal-build-manager
  Project dependency manager
  ☆74Updated 6 years ago
• Storyyeller / easy_strings
  Ergonomic, garbage collected strings for Rust
  ☆36Updated 8 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
• bodil / palmtree
  Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.
  ☆26Updated 5 years ago
• gs0510 / rustrace
  Strace in Rust
  ☆48Updated 3 years ago
• computationclub / computationclub.github.io
  The website of the London Computation Club
  ☆74Updated last year
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• jamesbvaughan / httppl
  A simple http server written in Prolog
  ☆30Updated 8 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• kitfre / Kinder
  Algebraic structure and emulation of higher kinded types for Rust
  ☆107Updated 6 years ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆70Updated 8 years ago
• sunng87 / urdict
  command line urban dictionary
  ☆42Updated 7 years ago
• lark-exploration / lark
  A demand-driven compiler with strong IDE support
  ☆196Updated 3 years ago