The Z3 Theorem Prover

mawww's experiment for a better code editor

inotify-tools is a library and a set of command-line programs providing a simple interface to inotify.

KTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)

The Lobster Programming Language

C/C++ language server supporting multi-million line code base, powered by libclang. Emacs, Vim, VSCode, and others with language server protocol support. Cross references, completion, diagnostics, …

The Synthesis ToolKit in C++ (STK) is a set of open source audio signal processing and algorithmic synthesis classes written in the C++ programming language.

A minimalistic and high-performance SAT solver

UDPipe: Trainable pipeline for tokenizing, tagging, lemmatizing and parsing Universal Treebanks and other CoNLL-U files