nusdistsys / NUS_DYOMLinks
This is a catalogue of all past and present NUS DYOMS
☆9Updated 3 years ago
Alternatives and similar repositories for NUS_DYOM
Users that are interested in NUS_DYOM are comparing it to the libraries listed below
Sorting:
- POSIX™-compliant, zero-dependency shell script to print in NUS SoC☆25Updated last year
- Pinda! -- Pin pointing has never been more exciting!☆10Updated last year
- Script to easily submit your body temperature to NUS's temperature declaration system☆16Updated 3 years ago
- An officially unofficial Orbital project that meets the intermediate (Gemini) achivement level, created in one day☆18Updated 8 years ago
- Codebase for the NUS Timetable Optimizer, a tool to help students at the National University of Singapore optimize their timetables to th…☆21Updated 11 months ago
- LuminDER is a dating app for NUS students that takes on the familiar interface of LumiNUS and is a wordplay on Tinder.☆10Updated 4 years ago
- A library in Elixir to access the reverse-engineered LumiNUS API☆32Updated 4 years ago
- A completely legitimate programming language for Singaporeans. Because uncle also can code one hor.☆34Updated 2 years ago
- PL conference deadline countdowns☆60Updated 2 months ago
- ☆26Updated 4 years ago
- Verifying the SCION architecture using Gobra☆11Updated this week
- A complete collection of my undergraduate notes☆34Updated 2 years ago
- An extension to the Java type system to catch badly-behaving builder patterns☆12Updated 2 years ago
- ☆13Updated last year
- ☆233Updated 10 months ago
- Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".☆16Updated 10 months ago
- Frontend of Source Academy, an online experiential environment for computational thinking (React, Redux, Saga, Blueprint)☆105Updated this week
- 🏫 Official course planning platform for National University of Singapore.☆612Updated last week
- CIS 6700, Spring 2023☆18Updated 2 years ago
- Implementations of sublanguages of JavaScript, TypeScript, Scheme and Python☆73Updated this week
- Tool for automatically inferring inductive invariants of distributed protocols.☆18Updated 7 months ago
- NUS Hackers website☆44Updated last month
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆218Updated 2 years ago
- The Gillian Platform main repository☆85Updated this week
- Tool to visualize executions of multi-threaded systems☆14Updated 5 years ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- A deterministic parser with fused lexing☆73Updated last year
- A CLI client in Rust to access the reverse-engineered LumiNUS API☆27Updated 3 years ago
- Ltac2 tutorial☆45Updated 2 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago