Pinned Repositories
2018s-final-projects
Student teamworks summary repository for USTC FOPL lecture in spring, 2018.
compiler-project
compiler project: ice cola programming language
enjoyable-lab
Doing some enjoyable experiments, writing some interesting code.
krad
A game
refinement.js
Yet another contract library for JavaScript which benefits from static analyzers such as TAJS.
sbt-stainless
A sbt plugin for stainless users to verify code in sbt command line.
sky-machine
An untyped lambda calculus machine designed in FPGA.
steak
A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.
tigerfix
A hot fix tool for compiled languages such as c and c++
slides
slides of zju-lambda
overlogged's Repositories
overlogged/steak
A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.
overlogged/sky-machine
An untyped lambda calculus machine designed in FPGA.
overlogged/krad
A game
overlogged/tigerfix
A hot fix tool for compiled languages such as c and c++
overlogged/refinement.js
Yet another contract library for JavaScript which benefits from static analyzers such as TAJS.
overlogged/enjoyable-lab
Doing some enjoyable experiments, writing some interesting code.
overlogged/compiler-project
compiler project: ice cola programming language
overlogged/sbt-stainless
A sbt plugin for stainless users to verify code in sbt command line.
overlogged/2018s-final-projects
Student teamworks summary repository for USTC FOPL lecture in spring, 2018.
overlogged/memfs
3-NiceKingWei created by GitHub Classroom
overlogged/resume
:space_invader: My resume / 我的简历