Alternatives and similar repositories for RustCourse

Users that are interested in RustCourse are comparing it to the libraries listed below

• jordanspooner / haskell-tests
  My past paper solutions for the Haskell final test at Imperial College London
  ☆7Updated 7 years ago
• hadronized / do-notation
  The Haskell’s do notation brought to Rust
  ☆63Updated 3 years ago
• ionathanch / msc-thesis
  LaTeX source for Sized Dependent Types via Extensional Type Theory
  ☆12Updated 2 years ago
• surajx / proof-assistant
  Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…
  ☆11Updated 7 years ago
• willcrichton / tyrade
  A pure functional language for type-level programming in Rust
  ☆331Updated 2 years ago
• LukeMathWalker / multipeek
  An iterator adapter to peek at future elements without advancing the cursor of the underlying iterator.
  ☆26Updated 2 years ago
• zshipko / ocaml-rs
  OCaml extensions in Rust
  ☆274Updated 5 months ago
• aatxe / oxide
  The essence of Rust.
  ☆126Updated 3 years ago
• plausiblelabs / lens-rs
  Functional lens library for Rust
  ☆107Updated 4 years ago
• Vanille-N / tree-beamer
  Slides and sources for talks on Tree Borrows
  ☆13Updated 3 weeks ago
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆126Updated 2 months ago
• matklad / minipratt
  ☆246Updated 7 months ago
• TeaEntityLab / fpRust
  Monad/MonadIO, Handler, Coroutine/doNotation, Functional Programming features for Rust
  ☆122Updated 3 years ago
• bodil / higher
  Your favourite Haskell type classes for Rust
  ☆259Updated 2 years ago
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆42Updated 2 years ago
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆160Updated 4 months ago
• TOETOE55 / lens-rs
  lens implemented in rust
  ☆115Updated 2 years ago
• lyphyser / deptypes
  ☆17Updated last year
• AndrewMathas / WebQuiz
  A LaTeX package for writing on-line quizzes
  ☆9Updated 4 years ago
• goDoCer / imperial-computing-materials-downloader
  Automated downloader for Imperial College London Department of Computing Materials platform
  ☆8Updated 4 years ago
• orsinium-labs / eff
  Python library to work with algebraic effects
  ☆78Updated 4 years ago
• insou22 / typing-the-technical-interview-rust
  https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust
  ☆148Updated 2 years ago
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• paholg / minsky
  A Minsky Machine in Rust's type system
  ☆56Updated 5 years ago
• OliverKillane / WACC-Compiler
  A highly extensible WACC compiler developed in Rust
  ☆2Updated 2 years ago
• tizoc / ocaml-interop
  OCaml<->Rust FFI with an emphasis on safety.
  ☆143Updated last month
• JDemler / BidirectionalTypechecking
  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
  ☆113Updated 6 years ago
• rust-analyzer / ungrammar
  ☆320Updated 8 months ago
• brendanzab / moniker
  Automagical variable binding library for Rust
  ☆67Updated 5 years ago
• bodil / palmtree
  Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.
  ☆26Updated 5 years ago