jorendorff / talksLinks
Some talks I've given
☆91Updated 2 years ago
Alternatives and similar repositories for talks
Users that are interested in talks are comparing it to the libraries listed below
Sorting:
- A monadic IO interface in Rust☆78Updated 9 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆86Updated last year
- Category Theory For Programmers (Bartosz Milewski)☆67Updated 3 years ago
- Strace in Rust☆48Updated 3 years ago
- snake in Rust!☆51Updated 8 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 5 years ago
- Parsell: an LL(1) parser combinator library for Rust☆74Updated 5 years ago
- OBSOLETE. Are we web yet? A simple reckoning of Rust’s readiness for Web-related things.☆46Updated 9 years ago
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆41Updated 11 years ago
- a very quick intro to rust syntax for those new to the language☆154Updated 7 years ago
- abandoned update of jack crenshaw's compilers intro☆116Updated 6 years ago
- Collection of resources & examples for Rust & WebAssembly☆75Updated 6 years ago
- A functional programming language designed for concurrency and failure☆44Updated 3 years ago
- 💖 🦀 give thanks to your fellow Rustaceans☆165Updated 6 years ago
- An annotation of the Rust standard library☆71Updated 10 years ago
- The first version of thanks.rust-lang.org, succeeded by rust-lang/thanks☆95Updated 6 years ago
- command line urban dictionary☆42Updated 7 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Rust to F* toolchain☆43Updated 6 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆70Updated 8 years ago
- Targeting the web with Rust.☆126Updated 6 years ago
- Ack-like search tool written in Rust☆18Updated 9 years ago
- Ergonomic, garbage collected strings for Rust☆36Updated 8 years ago
- indexlist: A doubly linked list, backed by a vector☆85Updated 2 years ago
- A pure Rust implementation of the Haml template language☆60Updated 4 years ago
- Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html☆82Updated 5 years ago
- The Request for Explanation podcast that explains Rust RFCs☆60Updated 5 years ago
- find something Rusty to work on☆20Updated 6 years ago
- A not-yet-functional Rust parser written in LALRPOP.☆35Updated 8 years ago
- Installer for various Rust reimaginations of coreutils. These are not drop-in replacements.☆94Updated 2 years ago