Smattr

clink

a modern re-implementation of Cscope

rumur

yet another model checker

mattutils

Repository for all my random tools and scripts I use

needtoknow

RSS to email bridge

vimcat

cat a file to the terminal with vim syntax highlighting

xcache

ccache for all programs

no

cross-platform, best-effort security sandbox

passwand

Password manager

asan_alignment_example

illustrate ASan's manual poisoning alignment requirements.

buildcache

A build cache

camkes-tool

The main CAmkES tool

cirrus-ci-docs

Documentation for Cirrus CI 📚

endgame

library for terminal-based games

gclc

GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.

GNOLL

GNOLL is an efficient dice notation parser for multiple programming languages that supports a wide set of dice notation

libaig

a library for manipulating and-inverter graphs

macports-ports

The MacPorts ports tree

mangl

An enhanced man page viewer for linux and BSD systems based on OpenGL and mandoc libraries

mozsearch-mozilla

openapi-generator

OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)

PeakRDL-cheader

polyml

Poly/ML

pygraphviz

Python interface to Graphviz graph drawing package

Scarlet

Tool for learning linear temporal logic formulas using combinatorial approach

sorbet

A fast, powerful type checker designed for Ruby

sysget

One package manager to rule them all

vim

The official Vim repository

wintertools

Python tools for managing and testing Winterbloom projects

wtdbg2

Redbean: A fuzzy Bruijn graph approach to long noisy reads assembly

ydotool

Generic command-line automation tool (no X!)