-
-
fl-experiments Public
Some random fl experiment scripts, datasets, figures etc.
-
mem-leak-analyzer Public
A source code level C memory leak analyzer language server built with CLang and TypeScript
-
MapDSL Public
An Antlr-based DSL for drawing custom Google maps. Works as a VSCode extension.
-
-
ubccsss.org Public
Forked from ubccsss/ubccsss.orgWebsite for the UBC CSSS
-
Foo-Inc-Employee-Directory Public
An employee directory web app written with JS, C#, React, and Redux. Uses PostgreSQL for database, AWS Cognito for authentication and AWS S3/Lambda for hosting of website and endpoints.
-
-
three-star-restaurant Public
A web application that demonstrates the use of PostgreSQL, Node.js, React, and React-Query
-
prusti-dev Public
Forked from viperproject/prusti-devA static verifier for Rust, based on the Viper verification infrastructure.
-
prusti-concurrency-design Public
The design for supporting concurrency in Prusti, a program verifier for Rust
1 UpdatedAug 9, 2020 -
exams Public
Forked from ubccsss/examsThis uses webscraping and machine learning to automatically find past exams/practice materials and classify them by class, year and type.
-
-
-
{{ message }}