ymichael / soc-hyp-boilerplate
SOC HYP Final Report Boilerplate for LaTeX
☆14Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for soc-hyp-boilerplate
- Open source module builder for Singapore Universities☆11Updated 7 years ago
- The main website for CS2030, AY17/18, Semester 1☆13Updated 6 years ago
- An officially unofficial Orbital project that meets the intermediate (Gemini) achivement level, created in one day☆18Updated 8 years ago
- Script and executable to download all exam scripts for an NUS module☆33Updated last year
- A manually curated list of all security internships available for summer 2017.☆18Updated 8 years ago
- Scripts to make life as an NUS student better and easier.☆42Updated 4 years ago
- FYP/ UROP LaTeX template for School of Computing☆49Updated 2 years ago
- Minimal non-opinionated starter for modern single-page applications.☆13Updated 5 years ago
- Collate each contributor's code from multiple files☆11Updated last year
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆196Updated 9 months ago
- Telegram code evaluator☆11Updated 3 years ago
- A library in Elixir to access the reverse-engineered LumiNUS API☆32Updated 3 years ago
- A collection of textbooks, links and resources during our studying years in NUS SoC☆365Updated last year
- Reject membrane, embrace monke☆10Updated 2 years ago
- A curated list of awesome Coq frameworks, libraries and software.☆236Updated this week
- LuminDER is a dating app for NUS students that takes on the familiar interface of LumiNUS and is a wordplay on Tinder.☆10Updated 3 years ago
- 🏫 Official course planning platform for National University of Singapore.☆588Updated this week
- PeaCoq is a pretty Coq, isn't it?☆106Updated 3 years ago
- This is a catalogue of all past and present NUS DYOMS☆9Updated 3 years ago
- Link to preprints for POPL'17 and co-located events☆101Updated 7 years ago
- Brew package to quickly init a gitignore☆12Updated 2 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- Program Synthesis Course☆247Updated 8 months ago
- Elsa is a lambda calculus evaluator☆181Updated 5 months ago
- POSIX™-compliant, zero-dependency shell script to print in NUS SoC☆25Updated last year
- All the examples in Real World OCaml☆376Updated last year
- Link to preprints for ICFP'17 and colocated events☆136Updated 6 years ago
- Convert Haskell source code to Coq source code☆279Updated 4 years ago
- Main repository for Harvard CS260r 2017.☆9Updated 7 years ago