overlogged

Jinwei Long's repositories

A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.

Language:C++MIT28 20

An untyped lambda calculus machine designed in FPGA.

Language:Verilog14 10

A game

Language:JavaMIT8 2 30

A hot fix tool for compiled languages such as c and c++

Language:PythonGPL-3.07 20

Yet another contract library for JavaScript which benefits from static analyzers such as TAJS.

Language:JavaScriptMIT5 20

Doing some enjoyable experiments, writing some interesting code.

Language:C++4 20

compiler project: ice cola programming language

Language:C++3 20

A sbt plugin for stainless users to verify code in sbt command line.

Language:ScalaApache-2.02 10

Student teamworks summary repository for USTC FOPL lecture in spring, 2018.

Language:Prolog010

3-NiceKingWei created by GitHub Classroom

Language:C++010

:space_invader: My resume / 我的简历

Language:TeXAGPL-3.0000