nusdistsys / NUS_DYOM
This is a catalogue of all past and present NUS DYOMS
☆9Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for NUS_DYOM
- 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☆215Updated last year
- ☆223Updated 3 months ago
- Exercises and projects for Jane Street's OCaml Workshop☆564Updated 2 years ago
- Implementations of sublanguages of JavaScript, TypeScript, Scheme and Python☆70Updated this week
- CS 704 course website - Principles of Programming Languages☆68Updated last year
- QuickCheck inspired property-based testing for OCaml.☆347Updated 4 months ago
- Program Synthesis Course☆247Updated 8 months ago
- Tutorial on Multicore OCaml parallel programming with domainslib☆283Updated 8 months ago
- Lock-free data structures for multicore OCaml☆203Updated this week
- A library for building dynamic webapps, using Js_of_ocaml☆366Updated last week
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆331Updated 4 years ago
- A tool for deductive verification of Python programs based on Dafny☆12Updated 3 years ago
- Visual Studio Code extension for Coq☆344Updated this week
- Race Condition Running☆12Updated this week
- Standard library for OCaml☆868Updated last week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- PL conference deadline countdowns☆52Updated 2 weeks ago
- Proving leftpad correct two-dozen different ways☆650Updated this week
- Visual Studio Code extension for OCaml☆342Updated this week
- Synthesis of Heap-Manipulating Programs from Separation Logic☆126Updated last year
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆531Updated this week
- Instructions for setting up an OCaml development environment☆95Updated 4 years ago
- Parser combinators built for speed and memory efficiency☆649Updated 2 months ago
- Formal verification for OCaml☆255Updated 3 months ago
- Mystery Languages☆35Updated last year
- A Web Application for Learning OCaml☆303Updated last week
- The Gillian Platform main repository☆78Updated this week
- Datalog with support for SMT queries and first-order functional programming☆155Updated 3 weeks ago
- A library for building dynamic webapps, using Js_of_ocaml.☆381Updated last week