wtakuo

xv6-env

Docker image for building/running xv6

SVM

Simple stack-based bytecode VM implementations used in my class

AST2J

A simple visitor generator for Java

M5Stack-IDF

M5Stack ESP-IDF project template

opfs

A set of simple utilities for manipulating xv6-riscv file system images

spin-env

Docker image for Spin model checker

Act0

A small actor-based language written in Common-Lisp

AppleScript

BOFDemo

A simple buffer overflow vulnerability demo for IA-32

dotfiles

emfrp-repl

A REPL implementation of Emfrp, running on low power devices.

EnvSensors

A Python Library for I2C Environmental Sensors

Greetings

Example Project for Workshop on Software Development

HitandBlow

A famous number guessing game

localports

Some private ports for MacPorts

M5Stack

M5Stack Arduino Library

mbedremounter

A launchd daemon that fixes the mount mode of HDK-based mbeds

MicroPico

MicroPico (aka Pico-W-Go) is a Visual Studio Code extension designed to simplify and speed up the development of MicroPython projects for the Raspberry Pi Pico and Pico W boards.

micropython

MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems

mplib

MicroPython Libraries

ocamlbuild

OCamlbuild

platform-espressif32

Espressif 32: development platform for PlatformIO

Suggest

List results of Google suggest API

t85keyer

ATtiny85 Electronic Keyer

thonny

Python IDE for beginners

TKotLC

The Knights of the Lambda Calculus Logo

tscheme

A Tiny Scheme Interpreter

tswtch

A simple user-level task switching library

wtakuo.github.io

z3

The Z3 Theorem Prover