Pinned Loading

1. steak steak Public

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

   C++ 29

2. sky-machine sky-machine Public

   An untyped lambda calculus machine designed in FPGA.

   Verilog 14 1

3. krad krad Public archive

   A game

   Java 8

4. tigerfix tigerfix Public

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

   Python 7

5. refinement.js refinement.js Public

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

   JavaScript 5

6. zju-lambda/slides zju-lambda/slides Public

   slides of zju-lambda

   HTML 14