JordanLloydHall / RustCourseLinks
☆9Updated last month
Alternatives and similar repositories for RustCourse
Users that are interested in RustCourse are comparing it to the libraries listed below
Sorting:
- My past paper solutions for the Haskell final test at Imperial College London☆7Updated 7 years ago
- Notes for the Lectures of Year 2 Computing 2021-22☆41Updated 2 years ago
- ReX - typesetting mathematics☆125Updated 4 years ago
- A highly extensible WACC compiler developed in Rust☆2Updated 2 years ago
- Functional lens library for Rust☆107Updated 4 years ago
- Propositional logic with types in Rust☆62Updated last year
- The Haskell’s do notation brought to Rust☆62Updated 3 years ago
- Monad/MonadIO, Handler, Coroutine/doNotation, Functional Programming features for Rust☆122Updated 3 years ago
- ☆17Updated last year
- An opinionated computer algebra system written in Rust, used by CalcBot.☆38Updated 3 weeks ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 3 months ago
- Painless string scanning.☆55Updated 7 months ago
- Slides and sources for talks on Tree Borrows☆11Updated this week
- Stack safe and expressive recursion in Rust☆97Updated 2 weeks ago
- Haskell library for parsing and evaluating typst☆60Updated 3 weeks ago
- Seamless Higher-Kinded Types in Rust☆83Updated 2 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated last year
- Typed index version of Rust slice and Vec containers☆69Updated last month
- A LaTeX package for writing on-line quizzes☆9Updated 4 years ago
- Python toolchain manager 🐍☆69Updated 2 years ago
- lens implemented in rust☆115Updated 2 years ago
- An iterator adapter to peek at future elements without advancing the cursor of the underlying iterator.☆26Updated 2 years ago
- A simple, id-based arena☆120Updated last year
- A highly experiment portable runtime☆19Updated last year
- Define rust compile time unit systems using const generics☆86Updated 5 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- misc parsers in rust☆66Updated last month
- Object-oriented programming in Python for mathematicians☆13Updated 3 months ago
- Rust bindings to KaTeX☆119Updated last year