zhihan

minisat-scala

A Scala implementation of MiniSAT

janala2-gradle

CATG updated

bdd-scala

groovyandroid

A Groovy android skeleton project.

jacoco-extra

Some Scala code to explore the Jacoco API

speed-test-android

dataflow

Dependency analysis for dataflow language and imperative language.

gcl_parser

A GCL (General Configuration Language) parser.

javastyler

A Java code style checker

llvm

Some small extension to the official python binding of LLVM.

testgen-server

A Test Generation Cloud Server

asm-util

Simple Groovy library for bytecode processing

bash_utils

A small collection of bash utilities.

chat

A CLI chat tool backed by ChatGPT

d3-hive

A demonstration of hive plot using d3js

ergo

A Scala implementation of Alt-Ergo verification tool (unfinished)

gae-msgs

glabs

Some Groovy code for learning libraries.

goutil

Utility programs for go.

log-courier-docker

A Docker image for log-courier

myimg

My docker image.

network

A docker container definition to experiment with networking.

ocaml-discrete-optimization

ocaml_tutorial

py-util

Python utilities

pycov-util

Utility built around python coverage

quote

A Groovy library and app for quotes.

tapl

trygroovy

Use Guava library in Groovy code

zmq_sample