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
• AndrewMathas / WebQuiz
  A LaTeX package for writing on-line quizzes
  ☆9Updated 4 years ago
• object-oriented-python / object-oriented-programming
  Object-oriented programming in Python for mathematicians
  ☆13Updated 4 months ago
• ionathanch / msc-thesis
  LaTeX source for Sized Dependent Types via Extensional Type Theory
  ☆12Updated 2 years ago
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆129Updated 2 months ago
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆42Updated 2 years ago
• Vanille-N / tree-beamer
  Slides and sources for talks on Tree Borrows
  ☆14Updated last month
• hadronized / do-notation
  The Haskell’s do notation brought to Rust
  ☆63Updated 3 years ago
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆162Updated 4 months ago
• plausiblelabs / lens-rs
  Functional lens library for Rust
  ☆107Updated 4 years ago
• lyphyser / deptypes
  ☆17Updated last year
• orsinium-labs / rlci
  🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
  ☆66Updated 4 months ago
• OliverKillane / WACC-Compiler
  A highly extensible WACC compiler developed in Rust
  ☆2Updated 2 years ago
• xymostech / XymosTeX
  A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface
  ☆104Updated 11 months 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
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆52Updated 4 months ago
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆59Updated last year
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆64Updated 2 months ago
• willcrichton / tyrade
  A pure functional language for type-level programming in Rust
  ☆331Updated 2 years ago
• ReTeX / ReX
  ReX - typesetting mathematics
  ☆126Updated 5 years ago
• matklad / minipratt
  ☆247Updated 8 months ago
• simensgreen / rusymbols
  rusymbols is a Rust crate for symbolic mathematics. It aims to become a full-featured computer algebra system (CAS) while keeping the cod…
  ☆30Updated 4 years ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• jessicalally / hello-world
  ☆9Updated 5 years ago
• aatxe / oxide
  The essence of Rust.
  ☆127Updated 3 years ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆60Updated 4 years ago
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆99Updated last year
• cu1ch3n / menu
  🍔 Chen’s Private Cuisine Menu
  ☆10Updated 2 weeks ago
• bodil / higher
  Your favourite Haskell type classes for Rust
  ☆264Updated 2 years ago
• TOETOE55 / lens-rs
  lens implemented in rust
  ☆115Updated 2 years ago