Bryan 's repositories
tanyhb1
Config files for my GitHub profile.
000
ZopfliC2Rust
Zopfli Compression Algorithm is a compression library programmed in C to perform very good, but slow, deflate or zlib compression.
Language:RustApache-2.0000
suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
Language:ScalaNOASSERTION000
matmul_process_and_threads
homework
Language:TeX000
test
travis ci
Language:Java000
OCaml-Chat-Server
Chat Server
reading
A list of computer-science readings I recommend
MIT000
YSC3237FinalProject
Final Project for Software Engineering class
Language:Kotlin000
Language:OCaml000
Language:Java000
Language:Java000
z3ParsingProject
A parser from Scilla to Z3 written in OCaml for Zilliqa internship
YSC2221-Intro-To-Python
Intro to Python
Language:Python000
Stanford-CS151-Design-and-Analysis-of-Algorithms-and-Data-Structures
Design and Analysis of Algorithms and Data Structures
Language:Python000
YSC2227-Intro-To-C
Intro to C Programming Language
Language:C000
Language:C000
YNC-YSC2209-Proof
Proof module at Yale-NUS
Language:TeX000
YNC-YSC1212-Intro-to-CS
Intro to CS at Yale-NUS
Language:OCaml000
RippleWorld
2018 Internship Web Development for RippleCreate
000
YNC-Ecological-Modelling
Research Assistant for Ecological Modelling
Language:Jupyter Notebook000
Language:JavaScriptMIT000
hello-world
hello, world!
000