Discover @Kraks Open Source projects

Guannan Wei (@Kraks)

Kraks

Stars
140
Global Rank 158,649 (Top 6 %)
Followers 245
Following 347
Registered over 12 years ago
Most used languages

Racket
40.0 %

Scala
20.0 %

Python
10.0 %

Scheme
10.0 %

Coq 5.0 %

TeX
5.0 %

C++
5.0 %

JavaScript
5.0 %

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.

MyPLZoo

Implementations of various toy programming languages

quantum-compiler

Quantum circuits compiler with staging and continuations

SAT.rkt

A simple SAT solver based on DPLL written in Racket.

verifyo

Experiments with writing relational verifier/synthesizer in miniKanren.

2048.rkt

A text-based 2048 game in Racket.

lisp.js

A tiny lisp interpreter in JavaScript.

playground

Verify-Contracts-for-Dynamic-Lang

the-little-schemer

Scheme code from the book The Little Schemer.

omega

A Scala Implementation of the Omega Test

RefuncAAM

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

dataflow-analysis

Racket Implementation of Data-flow Analyses

Leetcode

My {Racket, Python} solutions for Leetcode algorithm problems

qdict

a simple network dictionary.

abscomp

An Implementation of Abstract Compilation

ad

the-little-typer