• Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    TeX
  • Created almost 4 years ago
  • Updated over 3 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Repository for SOEN 331 - Introduction to Formal Methods for Software Engineering - Winter 2021

More Repositories

1

Dog-facts-API-DEPRECATED-

An API returns random dog facts 🐶
Python
41
star
2

Dog-Facts-API-v2

An API returns random dog facts 🐶 (new repo)
Python
6
star
3

Principles-of-Programming-Languages

A repository contains the project for COMP 348: Principles of programming languages, taken at Concordia University, Summer 2020
TeX
2
star
4

Web-Career-Portal

A repo for the main project of Databases class, summer 2020
CSS
2
star
5

portfolio

The source code of my online portfolio website 👨‍💻 V1
JavaScript
2
star
6

Java_IOHelper

A Java class helps programmers handle I/O needs quickly, improve Java work flow.
Java
2
star
7

Sudoku-Game

A version of the game Sudoku using Backtracking algorithm
Python
1
star
8

image-diff

Simple python program to extract diff between 2 images
Python
1
star
9

COVID19-Detector

Detect the probability of contracting COVID-19 based on Chest CT Scan Images 🦠
Python
1
star
10

inventory-tracking

back-end for tracking items in an inventory
Python
1
star
11

DB-containers

A couple of DB containers in docker-compose so I never need to install a DB client ever again
Makefile
1
star
12

News-Archive

A submission for Def Hacks 2020
HTML
1
star
13

Aww

A Discord bot shows you facts and pictures of cute dogs (cats also included!)
JavaScript
1
star
14

Coop-Workterm-Report

A reflective report of my experience as a Software Developer Intern in Theia team at Ericsson
TeX
1
star
15

flask-redis

Python
1
star
16

Query-Input-Page

The repo for Comp 353 Warm-up project Summer 2020
PHP
1
star
17

lily58_conf

C
1
star
18

spotify-search

simple Spotify API for searching tracks
Python
1
star
19

My-Books-App

Project for COMP 354
Vue
1
star
20

Dog-breed-Classifier

A web app that analyzes, recognizes, and gives information about dog breeds, all based on an image from the user 🐩
Python
1
star
21

selene-ide

A self-customized IDE, based on Theia
Dockerfile
1
star
22

OOP-with-Java-1

OOP with java 1 (COMP 248)
Java
1
star
23

algotime

Solutions for Algotime's problems
Python
1
star
24

divisible

Hmm, I wonder if this {insert_number} is divisible by this {insert_number} 🧐
Python
1
star
25

DucNgn

Just about me 👨🏻‍💻
1
star
26

KGNet-Interface

UI Interface for KGNet, written with React and MaterialUI
Python
1
star