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
- 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
- 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
- ☆26Updated 4 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
- A library in Elixir to access the reverse-engineered LumiNUS API☆32Updated 4 years ago
- Brew package to quickly init a gitignore☆12Updated 3 years ago
- Here be my collections of cheatsheets I made during my undergraduate studies in NUS.☆108Updated 4 years ago
- NUS Hackers website☆45Updated 2 months ago
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆218Updated 2 years ago
- Online backup of Kattis Codes. Just because.☆31Updated 3 years ago
- PL conference deadline countdowns☆60Updated this week
- ☆233Updated 10 months ago
- An officially unofficial Orbital project that meets the intermediate (Gemini) achivement level, created in one day☆18Updated 8 years ago
- Verifying the SCION architecture using Gobra☆11Updated 2 weeks ago
- CIS 6700, Spring 2023☆18Updated 2 years ago
- Functional teaching language for use in a discrete mathematics course☆169Updated last week
- FYP/ UROP LaTeX template for School of Computing☆49Updated 3 years ago
- A library for building dynamic webapps, using Js_of_ocaml☆576Updated 2 weeks ago
- A library for building dynamic webapps, using Js_of_ocaml.☆388Updated 2 weeks ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆337Updated this week
- Visual Studio Code extension for Coq☆391Updated 2 weeks ago
- Telegram code evaluator☆11Updated 3 years ago
- The TLA⁺ Proof Manager☆80Updated this week
- Frontend of Source Academy, an online experiential environment for computational thinking (React, Redux, Saga, Blueprint)☆105Updated last week
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- Lock-free data structures for multicore OCaml☆248Updated last month
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆301Updated last year
- QuickCheck inspired property-based testing for OCaml.☆376Updated 3 weeks ago