A java bytecode decoding and encoding library written in rust. Mirror of https://gitlab.com/frozo/noak

A listing of compiler, language and runtime teams for people looking for jobs in this area

a tool for print debugging

Women in Programming Languages and Software Engineering Research

fos coq project

This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket

GrovePi is an open source platform for connecting Grove Sensors to the Raspberry Pi.

Python driver for qmc5883l 3-Axis Magnetic Sensor

Windows system utilities to maximize productivity