nusdistsys / NUS_DYOMLinks
This is a catalogue of all past and present NUS DYOMS
☆9Updated 4 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
- Script to easily submit your body temperature to NUS's temperature declaration system☆16Updated 3 years ago
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆219Updated 2 years 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
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆334Updated 5 years ago
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ community☆288Updated 2 months ago
- NUS Hackers website☆45Updated this week
- A completely legitimate programming language for Singaporeans. Because uncle also can code one hor.☆34Updated 2 years ago
- TLA+ language support for Visual Studio Code☆385Updated last week
- A gently curated list of companies using verification formal methods in industry☆559Updated 5 months ago
- Codebase for the NUS Timetable Optimizer, a tool to help students at the National University of Singapore optimize their timetables to th…☆21Updated last week
- Exercises and projects for Jane Street's OCaml Workshop☆633Updated 3 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- ☆233Updated 11 months ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆493Updated 8 months ago
- Program Synthesis Course☆256Updated last year
- List of bugs found in distributed protocols☆199Updated last year
- A compilation of blogs by Waterloo students and alumni☆65Updated 5 years ago
- The TLA⁺ Proof Manager☆81Updated this week
- A library in Elixir to access the reverse-engineered LumiNUS API☆32Updated 4 years ago
- Introductory data structures and algorithms☆15Updated 3 years ago
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- APALACHE: symbolic model checker for TLA+ and Quint☆471Updated 2 weeks ago
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- A library for incremental computations☆924Updated last month
- Command line binaries for the TLA+ language☆168Updated 2 years ago
- Tools for conformance monitoring on Kubernetes with TLA+☆23Updated last year
- Princeton University COS 461: Computer Networks☆178Updated 3 years ago
- A curated list of TLA+ resources.☆148Updated last year
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆602Updated 2 months ago