JordanLloydHall / RustCourse

Related projects ⓘ

Alternatives and complementary repositories for RustCourse

• jordanspooner / haskell-tests
  My past paper solutions for the Haskell final test at Imperial College London
  ☆8Updated 7 years ago
• LukeMathWalker / multipeek
  An iterator adapter to peek at future elements without advancing the cursor of the underlying iterator.
  ☆26Updated last year
• hadronized / do-notation
  The Haskell’s do notation brought to Rust
  ☆55Updated 2 years ago
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆83Updated 4 years ago
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆114Updated 4 months ago
• rustype / typestate-rs
  Proc-macro typestate DSL for Rust
  ☆142Updated last year
• davidpdrsn / i18n_codegen
  i18n library for Rust with compile time checks
  ☆16Updated last year
• huonw / primal
  primal puts raw power into prime numbers.
  ☆113Updated 2 months ago
• matklad / minipratt
  ☆207Updated 4 years ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆81Updated this week
• stencillogic / astro-float
  Arbitrary precision floating point numbers library
  ☆101Updated 8 months ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆55Updated 2 years ago
• bodil / higher
  Your favourite Haskell type classes for Rust
  ☆219Updated last year
• spirali / nelsie
  Framework for Creating Slides
  ☆42Updated 2 weeks ago
• aatxe / oxide
  The essence of Rust.
  ☆123Updated 2 years ago
• coriolinus / counter-rs
  Simple object to count Rust iterables
  ☆27Updated 4 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 6 years ago
• Wulf / tsync
  Synchronize rust and typescript types!
  ☆117Updated 5 months ago
• jethrogb / rust-reduce
  `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…
  ☆98Updated 4 months ago
• garro95 / priority-queue
  A priority queue for Rust with efficient change function.
  ☆175Updated 2 months ago
• brendanzab / approx
  Approximate floating point equality comparisons and assertions
  ☆154Updated 7 months ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 2 months ago
• pest-parser / ast
  ☆81Updated 7 months ago
• davidhewitt / pythonize
  ☆205Updated this week
• ridiculousfish / regress
  REGex in Rust with EcmaScript Syntax
  ☆176Updated last month
• benmarten / sccache-docker-test
  ☆29Updated 4 years ago
• fitzgen / id-arena
  A simple, id-based arena
  ☆115Updated last year
• Michael-F-Bryan / latex-rs
  An ergonomic library for programatically generating LaTeX documents and reports.
  ☆54Updated last year
• eugene-babichenko / rust-fsm
  Finite state machine framework for Rust with readable specifications
  ☆181Updated 5 months ago