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 `λ!`.
  ☆85Updated last year
• jvns / snake.rs
  snake in Rust!
  ☆51Updated 8 years ago
• asajeffrey / parsell
  Parsell: an LL(1) parser combinator library for Rust
  ☆74Updated 5 years ago
• damienstanton / ctrs
  Category Theory For Programmers (Bartosz Milewski)
  ☆67Updated 3 years ago
• brson / annotated-std-rs
  An annotation of the Rust standard library
  ☆71Updated 10 years ago
• jhartwell / haml-rs
  A pure Rust implementation of the Haml template language
  ☆60Updated 4 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• gs0510 / rustrace
  Strace in Rust
  ☆48Updated 3 years ago
• jamesbvaughan / httppl
  A simple http server written in Prolog
  ☆30Updated 8 years ago
• ajtulloch / roogle
  Rust API search engine
  ☆55Updated 10 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
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 5 years ago
• davidMcneil / the-rusty-web
  Targeting the web with Rust.
  ☆126Updated 6 years ago
• emberian / lets-build-a-compiler
  abandoned update of jack crenshaw's compilers intro
  ☆116Updated 6 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
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• wyager / Example-Distributed-App
  An example distributed systems application in Haskell using Cloud Haskell
  ☆69Updated 4 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
• steveklabnik / indexlist
  indexlist: A doubly linked list, backed by a vector
  ☆85Updated 2 years ago
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆35Updated 6 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆70Updated 9 months ago
• computationclub / computationclub.github.io
  The website of the London Computation Club
  ☆73Updated 2 years ago
• cis198-2016f / slides
  Slides for CIS 198 (Fall 2016) -- Read online at:
  ☆28Updated 8 years ago
• sunng87 / urdict
  command line urban dictionary
  ☆42Updated 7 years ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆70Updated 8 years ago
• mhagger / diff-slider-tools
  Tools for experimenting diff "slider" heuristics
  ☆44Updated 9 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• lark-exploration / lark
  A demand-driven compiler with strong IDE support
  ☆195Updated 3 years ago
• mdg / leema
  A functional programming language designed for concurrency and failure
  ☆44Updated 2 years ago