Guide to p4lang repositories and some other public info about P4

GTK3-based panel for sway and Hyprland Wayland compositors

S* Floating Window Bar

A digital logic designer and circuit simulator.

Converts VobSub subtitles (.idx/.srt format) into .srt subtitles.

Library to parse and work with the C++ AST

Video.js plugin that displays thumbnails on progress bar hover, driven by external VTT files.

A 21st century LaTeX wrapper

Reworking of Agner Fog's performance test programs for Linux

A set of tools for graph layout and viewing

A benchmark for low-level CPU micro-architectural features

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

x86info : x86 processor register decoder.

A C/Bison implementation of the MUV 2.0 to fb6 MUF compiler.

UNMAINTAINED A GNOME compatibility layer for XScreenSaver

Ongoing development of the Fuzzball MUCK server software and associated functionality.

Scripts to launch cluster used for Strata

Scripts used to setup a Spark cluster on EC2

Scripts used to setup a Spark cluster on EC2

SimpleScreenRecorder, a screen recorder for Linux

Tinyfugue MUD client (tf) with patches for charset negotiation and multibyte encodings.

Tinyfugue MUD client (tf) with UTF-8 patches for Unicode MUDs.

This is a research prototype of the Dryad and DryadLINQ data-parallel processing frameworks running on Hadoop YARN.

Apache Mesos

Python clone of Spark, a MapReduce alike framework in Python

Development in Shark has been ended.

EC2 wrappers used in UCB CS61C in Fall 2010/Spring 2011

Google Docs Latex Compiler