nusdistsys / NUS_DYOM
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
- POSIX™-compliant, zero-dependency shell script to print in NUS SoC☆25Updated last year
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆216Updated 2 years ago
- Script to easily submit your body temperature to NUS's temperature declaration system☆16Updated 3 years ago
- Online backup of Kattis Codes. Just because.☆31Updated 3 years ago
- Tutorial on Multicore OCaml parallel programming with domainslib☆288Updated last year
- Codebase for the NUS Timetable Optimizer, a tool to help students at the National University of Singapore optimize their timetables to th…☆20Updated 9 months ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆334Updated 4 years ago
- NUS Hackers website☆44Updated last week
- Streaming client for OCaml's Memprof☆68Updated 7 months ago
- ☆13Updated last year
- The TLA⁺ Proof Manager☆73Updated this week
- Frontend of Source Academy, an online experiential environment for computational thinking (React, Redux, Saga, Blueprint)☆104Updated this week
- The Flambda backend project for OCaml☆136Updated this week
- Generates loop invariants for program verification☆62Updated 4 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
- PL conference deadline countdowns☆60Updated last month
- QuickCheck inspired property-based testing for OCaml.☆372Updated this week
- ☆231Updated 8 months ago
- Lock-free data structures for multicore OCaml☆244Updated 3 months ago
- A library in Elixir to access the reverse-engineered LumiNUS API☆32Updated 3 years ago
- A Web Application for Learning OCaml☆310Updated last week
- An officially unofficial Orbital project that meets the intermediate (Gemini) achivement level, created in one day☆18Updated 8 years ago
- A hands-on tutorial on the new parallelism features in OCaml 5☆207Updated last year
- The WIP book for CPSC 411☆63Updated last month
- Property fuzzing for OCaml☆188Updated last year
- A deterministic parser with fused lexing☆72Updated last year
- Instructions for setting up an OCaml development environment☆97Updated 5 years ago
- A tool-agnostic formal specification language for OCaml.☆141Updated 2 months ago
- An automatic recursive function transformer.☆10Updated last year
- A free (as in freedom) OCaml textbook☆138Updated 11 months ago