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
- Parsell: an LL(1) parser combinator library for Rust☆74Updated 5 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 6 years ago
- snake in Rust!☆51Updated 8 years ago
- An annotation of the Rust standard library☆71Updated 10 years ago
- OBSOLETE. Are we web yet? A simple reckoning of Rust’s readiness for Web-related things.☆46Updated 9 years ago
- Ack-like search tool written in Rust☆18Updated 9 years ago
- A pure Rust implementation of the Haml template language☆61Updated 4 years ago
- Category Theory For Programmers (Bartosz Milewski)☆67Updated 3 years ago
- ☆55Updated 8 years ago
- command line urban dictionary☆42Updated 7 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- The first version of thanks.rust-lang.org, succeeded by rust-lang/thanks☆95Updated 6 years ago
- abandoned update of jack crenshaw's compilers intro☆116Updated 7 years ago
- Algebraic type based schema system☆129Updated 5 years ago
- Rust API search engine☆56Updated 10 years ago
- Targeting the web with Rust.☆126Updated 7 years ago
- Rust bindings to Tree-sitter☆35Updated 6 years ago
- RFCs for changes to Rust☆58Updated 6 years ago
- Project dependency manager☆74Updated 6 years ago
- Algebraic structure and emulation of higher kinded types for Rust☆109Updated 7 years ago
- No longer maintained☆38Updated 8 years ago
- Ergonomic, garbage collected strings for Rust☆37Updated 8 years ago
- A lint to collect some crate metadata☆116Updated 9 years ago
- A functional programming language designed for concurrency and failure☆44Updated 3 years ago
- My Master's Thesis??☆69Updated 9 years ago
- Moved to https://github.com/ivanceras/diwata☆141Updated 7 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- Test HTTP servers for robustness to arbitrary requests☆17Updated 2 years ago