Pinned Repositories
clink
a modern re-implementation of Cscope
conway
An implementation of Conway's Game of Life
execfs
FUSE implementation for exec-on-open
mattutils
Repository for all my random tools and scripts I use
memset
Some example implementations of memset
needtoknow
RSS to email bridge
passwand
Password manager
rumur
yet another model checker
vimcat
cat a file to the terminal with vim syntax highlighting
xcache
ccache for all programs
Smattr's Repositories
Smattr/clink
a modern re-implementation of Cscope
Smattr/rumur
yet another model checker
Smattr/mattutils
Repository for all my random tools and scripts I use
Smattr/needtoknow
RSS to email bridge
Smattr/hackertype
A program in the style of hackertyper.net
Smattr/no
cross-platform, best-effort security sandbox
Smattr/vimcat
cat a file to the terminal with vim syntax highlighting
Smattr/xcache
ccache for all programs
Smattr/passwand
Password manager
Smattr/asan_alignment_example
illustrate ASan's manual poisoning alignment requirements.
Smattr/buildcache
A build cache
Smattr/camkes-tool
The main CAmkES tool
Smattr/cirrus-ci-docs
Documentation for Cirrus CI 📚
Smattr/gclc
GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.
Smattr/GNOLL
GNOLL is an efficient dice notation parser for multiple programming languages that supports a wide set of dice notation
Smattr/libaig
a library for manipulating and-inverter graphs
Smattr/macports-ports
The MacPorts ports tree
Smattr/mangl
An enhanced man page viewer for linux and BSD systems based on OpenGL and mandoc libraries
Smattr/mozsearch-mozilla
Smattr/openapi-generator
OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
Smattr/PeakRDL-cheader
Smattr/polyml
Poly/ML
Smattr/Scarlet
Tool for learning linear temporal logic formulas using combinatorial approach
Smattr/sorbet
A fast, powerful type checker designed for Ruby
Smattr/sysget
One package manager to rule them all
Smattr/vim
The official Vim repository
Smattr/vim-cpp
c or cpp syntax files
Smattr/wintertools
Python tools for managing and testing Winterbloom projects
Smattr/wtdbg2
Redbean: A fuzzy Bruijn graph approach to long noisy reads assembly
Smattr/ydotool
Generic command-line automation tool (no X!)