Giters
Cong Ma (MC) (hflsmax)

hflsmax

Geek Repo

6

followers

1

following

4

stars

Github PK Tool:Github PK Tool

Cong Ma (MC)'s starred repositories

equations-ln

Language:CoqLicense:MITStargazers:6Issues:0Issues:0

lambda-calculus

Denotational Semantics of the Untyped Lambda Calculus

Language:CoqLicense:MITStargazers:16Issues:0Issues:0

MAC-POSTS

Mobility Data Analytics Center - Prediction, Optimization, and Simulation toolkit for Transportation Systems

Language:Jupyter NotebookLicense:MITStargazers:20Issues:0Issues:0

algorithm-visualizer

:fireworks:Interactive Online Platform that Visualizes Algorithms from Code

Language:JavaScriptLicense:MITStargazers:46525Issues:0Issues:0