Alternatives and similar repositories for HomeworkTemplate:

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

• cardinalitypuzzles / cardboard
  Dashboard for managing puzzles and tracking status during a puzzle hunt
  ☆33Updated last month
• schoppmp / oblivc-rust
  Rust wrapper for Obliv-C
  ☆11Updated 6 years ago
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆27Updated 6 months ago
• ixchow / freiscale
  Freiscale Semicomposer -- music composition without scales
  ☆11Updated 2 years ago
• danyq / tools.qhex.org
  puzzle solving tools for the mit mystery hunt
  ☆18Updated 9 years ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆125Updated this week
• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆11Updated last week
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆165Updated last week
• Palindrome-Puzzles / puzzup
  Django app for editing and testing puzzlehunt puzzles (open-source version)
  ☆14Updated 3 years ago
• alyssarosenzweig / ScratchNES
  NES emulator on MIT Scratch, rewrite using metaprogramming
  ☆10Updated 8 years ago
• youtux / PebbleShows
  Keep track of your TV shows on your Pebble!
  ☆9Updated 9 years ago
• evertedsphere / shorshe
  freshly-fermented, dependently-typed mustard, with a substructural aftertaste
  ☆31Updated 5 years ago
• ipdl / ipdl
  ☆10Updated 2 years ago
• xiw / arithcc
  ☆14Updated 4 years ago
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago
• abigalekim / segtrees
  Several translations of segment trees for CMU's 15-451 (Algorithms).
  ☆21Updated 3 years ago
• brownsys / paralegal
  Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sig…
  ☆18Updated this week
• CSUA / csua-backend
  A backend for the CSUA interblags.
  ☆22Updated last week
• jpearman / smartMotorLib
  ☆12Updated 8 years ago
• TeamVoss / VossII
  The source code to the Voss II Hardware Verification Suite
  ☆56Updated this week
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆68Updated last year
• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated 2 years ago
• alpha-convert / delta
  Implementation of the Delta Language
  ☆8Updated last year
• litiwu / Spring-2021-Notes
  i like taking notes ( "´༥`" )
  ☆8Updated 2 years ago
• ufmg-smite / carcara
  ☆35Updated last week
• tlringer / plugin-tutorial
  Yet another plugin tutorial, this time as an exercise for 598
  ☆38Updated last year
• meta-logic / sequoia-v0
  Design, play with, and analyze sequent calculus proof systems.
  ☆13Updated 7 months ago
• jwshii / etna
  ☆10Updated last month
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆112Updated last month
• ocf / ocfstatic
  A static redesign of the main ocf website
  ☆17Updated last year