Alternatives and similar repositories for HomeworkTemplate

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

• EoinDavey / Setanta
  Setanta - Teanga Ríomhchlárúcháin as Gaeilge - Irish Programming Language
  ☆95Updated last year
• sybila / biodivine-lib-bdd
  A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
  ☆24Updated last month
• cardinalitypuzzles / cardboard
  Dashboard for managing puzzles and tracking status during a puzzle hunt
  ☆33Updated 9 months ago
• nmoroze / kronos
  My MEng thesis code - verifying a security property for an SoC with Rosette
  ☆17Updated 4 years ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• OpenSourceCornell / awesome-cornell
  Awesome Projects @ Cornell
  ☆14Updated 7 years ago
• uclapi / uclapi
  An API for University College London, created for and by students!
  ☆48Updated 4 months ago
• denki / listings-rust
  A Rust language and style specification for the LaTeX-package listings
  ☆187Updated 2 years ago
• bstnfrmry / hanabi
  Play Hanabi online with friends!
  ☆104Updated 8 months ago
• jbman223 / EarlyAP
  Proxy specifically available for AP scores to enable simple early access to your scores without any storing of your College Board account…
  ☆109Updated 3 years ago
• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated 2 years ago
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆77Updated 2 months ago
• tjcsl / ion
  TJ Intranet 3
  ☆106Updated this week
• 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 8 years ago
• LoopKit / OmniBLE
  Omnipod Bluetooth PumpManager For Loop
  ☆11Updated this week
• programming-journal / programming
  ☆21Updated last year
• kipr / libwallaby
  Library for interfacing with the Wombat firmware
  ☆21Updated 3 weeks ago
• compbrain / dexcom_reader
  Export data from a Dexcom G4 CGM
  ☆37Updated 4 years ago
• asuc-octo / berkeleytime
  UC Berkeley enrollment info
  ☆75Updated this week
• eduxstad / boiler-grades
  code and data for https://boilergrades.com
  ☆29Updated 5 months ago
• rellermeyer / course_os
  CS 439 course OS
  ☆39Updated last year
• jix / varisat
  SAT solver written in Rust
  ☆274Updated 3 years ago
• DavePearce / FeatherweightRust
  Provides a reference implementation of FeatherweightRust in Java.
  ☆15Updated 4 years ago
• tlringer / plugin-tutorial
  Yet another plugin tutorial, this time as an exercise for 598
  ☆38Updated 2 years ago
• samuelgruetter / riscv-coq
  RISC-V Specification in Coq
  ☆13Updated 7 years ago
• charlielidbury / ochre
  A systems theorem prover
  ☆11Updated last year
• JonasAlaif / russol-alpha
  A tool for synthesis of Rust code, very early prototype
  ☆13Updated 2 years ago
• TeamVoss / VossII
  The source code to the Voss II Hardware Verification Suite
  ☆56Updated this week
• Kha / electrolysis
  Simple verification of Rust programs via functional purification in Lean 2(!)
  ☆339Updated 8 years ago
• DiaKEM / libre-link-up-api-client
  Libre Link Up client to retrieve cgm data directly from sharing service
  ☆195Updated last week