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
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆120Updated 9 months ago
• hadronized / do-notation
  The Haskell’s do notation brought to Rust
  ☆61Updated 3 years ago
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆41Updated 2 years ago
• matklad / minipratt
  ☆230Updated 5 months ago
• TOETOE55 / lens-rs
  lens implemented in rust
  ☆116Updated last year
• ReTeX / ReX
  ReX - typesetting mathematics
  ☆123Updated 4 years ago
• insou22 / typing-the-technical-interview-rust
  https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust
  ☆144Updated 2 years ago
• OliverKillane / WACC-Compiler
  A highly extensible WACC compiler developed in Rust
  ☆2Updated 2 years ago
• rodolf0 / tox
  misc parsers in rust
  ☆66Updated 5 months ago
• orsinium-labs / rlci
  🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
  ☆65Updated 3 weeks ago
• hkmatsumoto / roogle
  A Rust API search engine
  ☆26Updated 3 years ago
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆43Updated 2 years ago
• JDemler / BidirectionalTypechecking
  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
  ☆111Updated 6 years ago
• willcrichton / tyrade
  A pure functional language for type-level programming in Rust
  ☆326Updated 2 years ago
• lyphyser / deptypes
  ☆16Updated last year
• plausiblelabs / lens-rs
  Functional lens library for Rust
  ☆107Updated 4 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated last month
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆58Updated last year
• inanna-malick / recursion
  Stack safe and expressive recursion in Rust
  ☆96Updated 3 months ago
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆95Updated last year
• tcr / corollary
  Cross-compiler from Haskell to Rust, plus parser-haskell.
  ☆77Updated 7 years ago
• ebkalderon / example-fault-tolerant-parser
  Fault-tolerant nom 5 parser based on "Syntax error recovery in parsing expression grammars" (2018)
  ☆30Updated 3 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• sam0x17 / supertrait
  A Rust crate that uses macro hackery to enable const fn trait items and default associated types on traits in stable Rust.
  ☆27Updated last month
• sdleffler / type-operators-rs
  A macro for defining type operators in Rust.
  ☆65Updated 8 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 6 years ago
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆109Updated last week
• nikomatsakis / rust-design-axioms
  Discovering and describing Rust's design axioms
  ☆72Updated last year
• AngelOnFira / nadya
  A visually pleasing language for langjam 3
  ☆17Updated 2 years ago