Giters
Charles Lei (mrthefakeperson)

mrthefakeperson

Geek Repo

13

followers

3

following

1

stars

Location:Waterloo, Canada

Github PK Tool:Github PK Tool

Charles Lei's repositories

Excel-Virtual-Machine

C Compiler which targets Excel (MS Office)

Language:F#Stargazers:285Issues:6Issues:1

16-Bit-Bootloader

a simple program to load a kernel; run from BIOS

Language:AssemblyStargazers:5Issues:2Issues:1

Competitive-Programming

Codeforces, CCC/CCO 2016, and other algorithmic programs

Language:C++Stargazers:0Issues:2Issues:0

Fable

F# to JavaScript Compiler

Language:F#License:NOASSERTIONStargazers:0Issues:2Issues:0

seahorn

SeaHorn Verification Framework

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

seahorn.github.io

github-pages repository

Language:HTMLStargazers:0Issues:3Issues:0