Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs,…

tmux source code

A code-searching tool similar to ack, but faster.

Official git repo for iodine dns tunnel

Dynamic Instrumentation Tool Platform

The granddaddy of HTML tools, with support for modern standards

Unofficial git mirror of SQLite sources (see link for build instructions)

the MiKTeX source code

reeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee…

Create static executable from dynamic executable

A tiny Racket for scripting

Easy conversion between new-line conventions

Vixie Cron, an open source implementation of POSIX Cron, later imported into BSD and Linux

First person Mario.

A compiler for the gradually typed lambda calculus

STAT - the Stack Trace Analysis Tool

An object-oriented dialect of Scheme

MONA - a decision procedure for monadic second-order logic on finite strings and trees

A combined repository for all RLIBM prototypes

The CWEB System of Structured Documentation

All course materials for CS 4470 (Spring 2023)

**EXPERIMENTAL** Embedding Racket in Godot.

rrprofile kernel module for Zoom profiler

Repo to serve class material for CS 6110, Spring 2022

OpenCL Advanced Profiling Toolkit (Clap-tk) is an easily extendable profiler for OpenCL applications. Once built, it can be pre-loaded when running an OpenCL application to generate an execution pr…