This is your work, valued

Guannan Wei

Expert
@Kraks

Assistant professor at Tufts University; programming languages, formal methods, compilers

continuation.passing.style

sai. Staged Abstract Interpreters

69

diamond-lang. A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.

50

2048.py. Text-based 2048 in Python.

23

quantum-compiler. Quantum circuits compiler with staging and continuations

17

MyPLZoo. Implementations of various toy programming languages

12

verifyo. Experiments with writing relational verifier/synthesizer in miniKanren.

10

SAT.rkt. A simple SAT solver based on DPLL written in Racket.

9

llmaam. Scheme

8

contract-for-contract. Solidity

6

2048.rkt. A text-based 2048 game in Racket.

5

lisp.js. A tiny lisp interpreter in JavaScript.

5

playground. my playground

4

omega. A Scala Implementation of the Omega Test

3

dataflow-analysis. Racket Implementation of Data-flow Analyses

3

RefuncAAM. Artifact of Refunctionalization of Abstract Abstract Machines (ICFP '18)

2

Verify-Contracts-for-Dynamic-Lang. Racket

2

the-little-schemer. Scheme code from the book The Little Schemer.

2

the-little-typer. Racket

1

scala-lang. sources for the Scala language website

1

LLAAM. Low-Level Abstracting Abstract Machine

1

Sudoku. Sudoku generators and solvers in various functional styles.

1

Leetcode. My {Racket, Python} solutions for Leetcode algorithm problems

1

qdict. a simple network dictionary.

1

abscomp. An Implementation of Abstract Compilation

1