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

hackertype

A program in the style of hackertyper.net

no

cross-platform, best-effort security sandbox

xcache

ccache for all programs

passwand

Password manager

vimcat

cat a file to the terminal with vim syntax highlighting

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 📚

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

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)

polyml

Poly/ML

pysmt

pySMT: A library for SMT formulae manipulation and solving

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

vim-cpp

c or cpp syntax files

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!)

z3

The Z3 Theorem Prover