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
• downforacross / downforacross.com
  Web frontend for downforacross.com -- continuation of stevenhao/crosswordsio
  ☆310Updated 2 months ago
• neotenic / protobowl
  real time multiplayer quizbowl
  ☆96Updated last week
• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆11Updated 3 weeks ago
• frc1418 / FRCNewTab
  Display information about a random FRC team in your new tab.
  ☆18Updated 6 months ago
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆205Updated 3 months ago
• ixchow / freiscale
  Freiscale Semicomposer -- music composition without scales
  ☆11Updated 2 years ago
• eduxstad / boiler-grades
  code and data for https://boilergrades.com
  ☆28Updated 2 months ago
• RailForLess / railforless
  Amtrak fare-scraping service
  ☆96Updated this week
• Society-for-Internet-Blaseball-Research / blaseball-api-spec
  Specifications for the Blaseball API.
  ☆53Updated 4 years ago
• jix / flussab
  Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.
  ☆15Updated last year
• bstnfrmry / hanabi
  Play Hanabi online with friends!
  ☆102Updated 6 months ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆70Updated 2 months ago
• nmoroze / kronos
  My MEng thesis code - verifying a security property for an SoC with Rosette
  ☆17Updated 4 years ago
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆52Updated last month
• Kha / electrolysis
  Simple verification of Rust programs via functional purification in Lean 2(!)
  ☆339Updated 8 years ago
• TeamVoss / VossII
  The source code to the Voss II Hardware Verification Suite
  ☆56Updated this week
• Szuuuken / evc
  VU Einführung in Visual Computing Fragenkatalog Trainer
  ☆11Updated 3 years ago
• ryanhugh / NEU-Google-cloudprint
  Print to NEU Pharos Campus printers with Google Cloud Print!
  ☆12Updated 6 years ago
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆30Updated last week
• ufmg-smite / carcara
  ☆39Updated this week
• Trontor / lookahead
  A semester planner for students at The University of Melbourne.
  ☆29Updated 2 years ago
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆175Updated last week
• meelgroup / approxmc
  Approximate Model Counter
  ☆79Updated last month
• Hanabi-Live / hanabi-live
  A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.
  ☆197Updated last week
• jbclements / rust-redex
  A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
  ☆24Updated 11 years ago
• DavisPL-Teaching / 119
  Data processing pipelines
  ☆13Updated this week
• calyxir / calyx-riscv
  RISCV Core written in Calyx
  ☆17Updated last year
• vegaluisjose / reticle-evaluation
  Reticle evaluation (PLDI 2021)
  ☆12Updated 4 years ago
• ltentrup / caqe
  CAQE is a solver for quantified Boolean formulas
  ☆35Updated 2 years ago