CaDiCaL SAT Solver

Boogie

[beta] Guardian Agent: secure ssh-agent forwarding for Mosh and SSH

Language Server Protocol (LSP) plugin for Vim9

Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input fr…

KDE Plasmoid software updater for openSUSE Tumbleweed

Discover the world of microcontrollers through Rust!

A project for generating C bindings from Rust code

lightweight hypervisor SDK written in C++ with support for Windows, Linux and UEFI

[OBSOLETE - see readme] A tool for creating GIF screencasts of a terminal, with key presses overlaid.

Federated Wiki client and server in Node.js

Scriptable Headless Browser

A minimal C runtime for Linux i386 & x86_64

Classy web framework for Go

A declarative, simple, fast, and fun package for building command line tools in Go

Comprehensive collection of programming styles using a simple computational task, term frequency

A compact C++ library for easily simulating common Markov processes.

Simulating shitty network connections so you can build better systems.

Arnold Schwarzenegger based programming language

portable libc optimized for code size and readability

The CompCert formally-verified C compiler

clasp Common Lisp environment

Documentation for OpenWorm, i.e. docs.openworm.org

A realtime distributed messaging platform

Cucumber for Ruby. It's amazing!

npm install could be dangerous

rc file (dotfile) management

Today I Learned