Explore projects

C

Keiko Katsuragawa / cs349_w18_examples

example codes for CS349

17

Updated Mar 16, 2018

17 6 0 0

Updated Mar 16, 2018
B

cs451 CS Course Account / Bespin
Apache License 2.0

12

Updated Feb 25, 2021

12 9 0 0

Updated Feb 25, 2021
C

Daniel Vogel / cs349-code

Lecture Demo Code from CS 349 Lectures

8

Updated Nov 22, 2017

8 6 0 0

Updated Nov 22, 2017
T

Santhosh Matla / TBDBank

1

Updated Nov 18, 2023

1 0 0 0

Updated Nov 18, 2023
Jon Shahen / Solidity-Safety to Model Checking

1

Updated Jul 30, 2020

1 0 1 15

Updated Jul 30, 2020
atrbac-safety-mohawk-t-cree / cree-policy-analyzer

1

Updated Jun 04, 2020

1 0 0 0

Updated Jun 04, 2020
H

delta-hacks-3 / hack
BSD 2-Clause "Simplified" License

Our hack.

1

Updated Jan 29, 2017

1 0 0 0

Updated Jan 29, 2017
Jon Shahen / LogicLocking-Empirical

1

Updated Aug 14, 2020

1 0 0 15

Updated Aug 14, 2020
cs346 / public / samples

Sample code from lecture slides.

1

Updated Oct 02, 2024

1 0 0 0

Updated Oct 02, 2024
B

Callum Takasaka / bigdata2022f

0

Updated Dec 19, 2022

0 0

Updated Dec 19, 2022
E

Kelsey Zhu / ECE 452 Project

0

Updated Aug 01, 2023

0 0 0 0

Updated Aug 01, 2023
N

Colby Wang / Notetaking App
Apache License 2.0

0

Updated Nov 30, 2023

0

Updated Nov 30, 2023
B

Yebeom Heo / Bespin
Apache License 2.0

0

Updated Jan 14, 2023

0 0 0 0

Updated Jan 14, 2023
B

Bach Ta / Bespin
Apache License 2.0

0

Updated Jan 15, 2024

0 0 0 0

Updated Jan 15, 2024
M

Tom Feng / MiniLuv

0

Updated Dec 02, 2019

0 0 0 0

Updated Dec 02, 2019
C

Xun Yang / cs444

0

Updated Apr 14, 2020

0 0 1 0

Updated Apr 14, 2020
R

watcag-public / RapidLayout

0

Updated Jun 29, 2021

0 0 0 0

Updated Jun 29, 2021
C

Di Wang / checker-framework
MIT License

This is a fork from https://github.com/typetools/checker-framework

0

Updated Apr 08, 2020

0 0 0 0

Updated Apr 08, 2020
J

Kim Kim / JavaStudy

0

Updated Aug 27, 2020

0 0 0 0

Updated Aug 27, 2020
6

651project / 651project

651 project, business system for groceries

0

Updated Apr 04, 2022

0 0 2 3

Updated Apr 04, 2022