Discover @Kraks Open Source projects

Guannan Wei (@Kraks)

Kraks

Stars
140
Global Rank 162,033 (Top 6 %)
Followers 245
Following 347
Registered almost 13 years ago
Most used languages

Racket
38.1 %

Scala
19.0 %

Scheme
9.5 %

Python
9.5 %

TeX
4.8 %

C++
4.8 %

JavaScript
4.8 %

Solidity
4.8 %

Coq 4.8 %

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.

contract-for-contract

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