Alternatives and similar repositories for HomeworkTemplate

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

• robertvunabandi / guide-on-mitopenid
  How to set up OAuth 2.0 from MIT OpenID using Passport.js and selected guides on understanding OAuth 2.0.
  ☆12Updated 7 years ago
• cmnord / pflock
  A "phase-fair" reader-writer spinlock
  ☆12Updated 2 years ago
• schoppmp / oblivc-rust
  Rust wrapper for Obliv-C
  ☆11Updated 6 years ago
• nmoroze / kronos
  My MEng thesis code - verifying a security property for an SoC with Rosette
  ☆17Updated 4 years ago
• jpearman / smartMotorLib
  ☆12Updated 8 years ago
• lesborg / LESB
  LCC Enhancement for the Sortation of Books
  ☆8Updated 5 years ago
• brown-bytes / brown-bytes
  A system to handle and connect meal-credit donations on the Brown campus
  ☆10Updated 2 years ago
• JonasAlaif / russol-alpha
  A tool for synthesis of Rust code, very early prototype
  ☆13Updated last year
• fuseumass / dashboard
  Dashboard makes it easy to manage a hackathon.
  ☆42Updated 6 months ago
• lagrassa / freedomsquares
  ☆14Updated 7 years ago
• wilbowma / scribble-coq
  Because why wouldn't you want to typeset Coq in Scribble?
  ☆10Updated 5 years ago
• potassco / clingo-rs
  🗝️ Rust bindings to the clingo library
  ☆32Updated 4 months ago
• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆11Updated last week
• rmmh / uiuccalendar
  Simple webapp (Google Appengine) to convert UIUC course listings into importable calendar files
  ☆23Updated 4 years ago
• TomCrypto / vblk
  Virtual block devices on Linux
  ☆18Updated 5 years ago
• calyxir / calyx-riscv
  RISCV Core written in Calyx
  ☆16Updated 10 months ago
• rust-lang-nursery / wg-verification
  Verification working group
  ☆104Updated 6 years ago
• jix / varisat
  SAT solver written in Rust
  ☆269Updated 2 years ago
• PolySync / cargo-fel4
  A Cargo subcommand for working with feL4 projects.
  ☆52Updated 7 years ago
• cbiffle / keybrain
  Drop-in replacement controller for WASD CODE v2B keyboard
  ☆77Updated last year
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆27Updated 2 weeks ago
• alyssarosenzweig / ScratchNES
  NES emulator on MIT Scratch, rewrite using metaprogramming
  ☆10Updated 8 years ago
• mysteryhunt / puzzle-editing
  Software for editing/testing puzzles for the MIT Mystery Hunt
  ☆27Updated 7 years ago
• michaelballantyne / multiscope
  A module language for programming with multiple named scopes, orthogonal to lexical nesting.
  ☆16Updated 2 years ago
• urdaalex / uoftstudyspot
  A nodejs+angular app to help UofT students find free study rooms
  ☆20Updated last year
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆107Updated 11 months ago
• aatxe / oxide
  The essence of Rust.
  ☆125Updated 3 years ago
• salmans / rusty-razor
  Razor is a tool for constructing finite models for first-order theories
  ☆55Updated 2 years ago
• ixchow / freiscale
  Freiscale Semicomposer -- music composition without scales
  ☆11Updated 2 years ago
• tlringer / plugin-tutorial
  Yet another plugin tutorial, this time as an exercise for 598
  ☆38Updated last year