-
resume Public
Forked from ice1000/resume👾 My resume / 我的简历
-
-
steak Public
A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.
-
sky-machine Public
An untyped lambda calculus machine designed in FPGA.
-
-
tigerfix Public
A hot fix tool for compiled languages such as c and c++
-
2018s-final-projects Public
Forked from ustc-pldpa/2018s-final-projectsStudent teamworks summary repository for USTC FOPL lecture in spring, 2018.
Prolog UpdatedJun 19, 2018 -
refinement.js Public
Yet another contract library for JavaScript which benefits from static analyzers such as TAJS.
-
memfs Public
Forked from OSH-2018/3-NiceKingWei3-NiceKingWei created by GitHub Classroom
C++ UpdatedMay 16, 2018 -
enjoyable-lab Public
Doing some enjoyable experiments, writing some interesting code.
-
sbt-stainless Public
A sbt plugin for stainless users to verify code in sbt command line.
{{ message }}