A new markup-based typesetting system that is powerful and easy to learn.

MMT plugin for Visual Studio Code

Implementing a CPU emulator using C++Templates

Dex to Java decompiler

The formal proof of the Odd Order Theorem

TeXstudio is a fully featured LaTeX editor. Our goal is to make writing LaTeX documents as easy and comfortable as possible.

Virtual Machine for the Web

A portable fork of the high-performance regular expression matching library

uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

Craft PNG files that appear completely different in Apple software [NOW PATCHED]

🍀 Local git statistics including GitHub-like contributions calendars.

Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.

A Python program implementing and exploiting the Minsky Turing machine considered in the paper "Intrinsic Propensity for Vulnerability in Computers? Arbitrary Code Execution in the Universal Turing…

Counterexamples in Type Systems

Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.

cross-platform (Qt), open-source (GPLv3) video editor

An uroboros program with 100+ programming languages

Testing Schnorr's factorization claim in Sage

A C++20 concepts library, providing container concepts etc.

Linphone is a free VoIP and video softphone based on the SIP protocol. Mirror of git://git.linphone.org/linphone-desktop.git

LaTeX Math for Markdown inside of Visual Studio Code.

Markdown All in One

Mold: A Modern Linker 🦠

Community-driven wiki for the Clickteam Community. Originally powered by MediaWiki.

https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/

Mathematical stories

A comprehensive, feature-rich, open source, and portable, collection of Solitaire games.

An open-source Ad Blocker for Facebook™