Guannan Wei

sai. Staged Abstract Interpreters

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

2048.py. Text-based 2048 in Python.

quantum-compiler. Quantum circuits compiler with staging and continuations

MyPLZoo. Implementations of various toy programming languages

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

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

llmaam. Scheme

contract-for-contract. Solidity

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

lisp.js. A tiny lisp interpreter in JavaScript.

playground. my playground

omega. A Scala Implementation of the Omega Test

dataflow-analysis. Racket Implementation of Data-flow Analyses

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

Verify-Contracts-for-Dynamic-Lang. Racket

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

the-little-typer. Racket

scala-lang. sources for the Scala language website

LLAAM. Low-Level Abstracting Abstract Machine

Sudoku. Sudoku generators and solvers in various functional styles.

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

qdict. a simple network dictionary.

abscomp. An Implementation of Abstract Compilation