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
• jvns / snake.rs
  snake in Rust!
  ☆51Updated 8 years ago
• damienstanton / ctrs
  Category Theory For Programmers (Bartosz Milewski)
  ☆68Updated 4 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
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 5 months ago
• chris-morgan / arewewebyet
  OBSOLETE. Are we web yet? A simple reckoning of Rust’s readiness for Web-related things.
  ☆46Updated 9 years ago
• asajeffrey / parsell
  Parsell: an LL(1) parser combinator library for Rust
  ☆74Updated 5 years ago
• emberian / lets-build-a-compiler
  abandoned update of jack crenshaw's compilers intro
  ☆116Updated 7 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆160Updated 6 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆139Updated 7 years ago
• dagit / rust-prolog
  Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html
  ☆82Updated 5 years ago
• cis198-2016f / slides
  Slides for CIS 198 (Fall 2016) -- Read online at:
  ☆28Updated 9 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆56Updated 8 years ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆73Updated 9 years ago
• jamesbvaughan / httppl
  A simple http server written in Prolog
  ☆30Updated 9 years ago
• Storyyeller / easy_strings
  Ergonomic, garbage collected strings for Rust
  ☆37Updated 8 years ago
• keean / elements_in_rust
  Algorithms and Concepts from Stepanov's "Elements of Programming" implemented in Rust
  ☆22Updated 9 years ago
• kitfre / Kinder
  Algebraic structure and emulation of higher kinded types for Rust
  ☆109Updated 7 years ago
• sebasmagri / rocket-loadavg-api
  An example project of Rust's Rocket Web Framework
  ☆51Updated 8 years ago
• typesanitizer / not-a-blog
  Not a description.
  ☆126Updated 6 years ago
• ajtulloch / roogle
  Rust API search engine
  ☆56Updated 11 years ago
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆35Updated 6 years ago
• vmchale / polyglot
  Tool to count lines of source code.
  ☆254Updated 2 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
• mattgreen / learning-language-design
  A series of progressively more complex programming languages
  ☆36Updated 11 years ago
• lark-exploration / lark
  A demand-driven compiler with strong IDE support
  ☆195Updated 3 years ago
• kofigumbs / codec-beam
  Generate Erlang VM byte code from Haskell
  ☆170Updated last year
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago