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
- An annotation of the Rust standard library☆71Updated 10 years ago
- Strace in Rust☆48Updated 3 years ago
- Category Theory For Programmers (Bartosz Milewski)☆67Updated 3 years ago
- A pure Rust implementation of the Haml template language☆61Updated 4 years ago
- Ergonomic, garbage collected strings for Rust☆37Updated 8 years ago
- Collection of resources & examples for Rust & WebAssembly☆75Updated 6 years ago
- The first version of thanks.rust-lang.org, succeeded by rust-lang/thanks☆95Updated 6 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 6 years ago
- Algebraic structure and emulation of higher kinded types for Rust☆109Updated 7 years ago
- Parsell: an LL(1) parser combinator library for Rust☆74Updated 5 years ago
- snake in Rust!☆51Updated 8 years ago
- indexlist: A doubly linked list, backed by a vector☆85Updated 2 years ago
- command line urban dictionary☆42Updated 7 years ago
- No longer maintained☆38Updated 8 years ago
- Rust API search engine☆56Updated 10 years ago
- Ack-like search tool written in Rust☆18Updated 9 years ago
- OBSOLETE. Are we web yet? A simple reckoning of Rust’s readiness for Web-related things.☆46Updated 9 years ago
- abandoned update of jack crenshaw's compilers intro☆116Updated 7 years ago
- Targeting the web with Rust.☆126Updated 7 years ago
- A very small GC in Rust, with a safe API☆63Updated last year
- An implementation of @phil_eaton compilers basic notes in Rust☆35Updated 6 years ago
- The Request for Explanation podcast that explains Rust RFCs☆60Updated 5 years ago
- You've met with a terrible fate, haven't you?☆62Updated 6 years ago
- ☆11Updated 6 years ago
- Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html☆82Updated 5 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- Proposed documentation for alloytools.org☆71Updated 3 months ago
- 💖 🦀 give thanks to your fellow Rustaceans☆167Updated 6 years ago