App for looking up DDR score info, as a PWA.
Updated 2024-05-16 06:22:32 +00:00
Keeps your Discord server event list up to date with CTFtime
Updated 2024-01-10 01:54:35 +00:00
Updated 2021-08-22 18:09:32 +00:00
Updated 2023-11-03 22:04:55 +00:00
CSCI 8980 (002) Special Advanced Topics in Computer Science (Fall 2023)
Updated 2024-01-26 20:36:33 +00:00
CSCI 5607 (2023S): Fundamentals of Computer Graphics 1
Updated 2023-05-16 14:20:30 +00:00
Updated 2023-12-08 11:22:37 +00:00
Updated 2023-12-29 04:53:42 +00:00
CSCI 5271 (2017F): Intro to Computer Security
Updated 2023-05-16 14:20:52 +00:00
CSCI 4061 (2017F): Introduction to Operating Systems
Updated 2023-05-16 14:18:38 +00:00
CSCI 3081W (2017F): Program Design and Development
Updated 2023-05-16 14:20:20 +00:00
CSCI 2041 (2017S): Advanced Programming Principles
Updated 2023-05-16 14:21:16 +00:00
CSCI 2021 (2017S): Machine Architecture and Organization
Updated 2023-05-16 14:22:13 +00:00
CSCI 1913 (2016F): Intro to Algorithms & Program Development
Updated 2023-05-16 14:21:45 +00:00
Updated 2020-11-09 06:18:51 +00:00
Updated 2022-05-15 06:31:23 +00:00
Updated 2023-03-17 08:41:31 +00:00
SSH implementation with properties in Coq
Updated 2021-07-13 19:24:08 +00:00