ash47 / TimetableGeneratorLinks
A timetable generator for The University of Melbourne
☆17Updated 6 years ago
Alternatives and similar repositories for TimetableGenerator
Users that are interested in TimetableGenerator are comparing it to the libraries listed below
Sorting:
- Alistair Moffat fan page☆16Updated 2 years ago
- OpenCL SAT solver☆16Updated 14 years ago
- Generate Solidity Code from its AST☆15Updated 8 years ago
- An implementation of a SAT solver using the CUDA library☆15Updated 7 years ago
- Solidity Parser for Solium☆29Updated 2 years ago
- ☆17Updated 7 years ago
- Blockchains and Distributed Ledgers☆109Updated 8 months ago
- Semantics of Solidity in K☆30Updated 5 years ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago
- One consensus test generator☆11Updated 6 years ago
- Optimized Circuit Generation for Secure Multiparty Computation☆12Updated 5 years ago
- CS 5830: Cryptography☆15Updated 8 years ago
- Mix network simulator☆10Updated 3 years ago
- EN.601.741: Advanced Topics in Secure and Censorship-Resistant Communications☆15Updated 4 years ago
- Provide tips and corrections for C programs☆14Updated 7 years ago
- Test and benchmark repository for Z3.☆28Updated this week
- ☆25Updated 2 years ago
- Student-run wiki for students interested in computer science at Cornell University☆95Updated last year
- This is a laravel package for interacting with blockchain api☆58Updated 6 years ago
- The Ethereum EVM JIT☆170Updated 3 years ago
- Generates the student-facing Stat406 website☆12Updated 8 months ago
- Dr. Y's Ethereum Contract Analyzer☆41Updated 3 years ago
- Purpose and DUBI, ethereum tokens aiming to make the world a better place☆36Updated 6 years ago
- 🧀 Cheddar, the language that works for you☆29Updated 3 years ago
- The C parser for GumTree☆13Updated 4 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆33Updated 5 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆244Updated 3 years ago
- KLEE with floating point support (unmaintained)☆18Updated 3 years ago
- DBLP BibTeX - bibtex wrapper for automatic DBLP & IACR ePrint downloads☆19Updated 2 years ago
- Creates timetables for students at the University of Melbourne☆3Updated 2 years ago