Repository for the main Dockerfile with the OpenWorm software stack and project-wide issues

An extensible linter for SQL queries and migrations.

🐘 linter for PostgreSQL, focused on migrations

Use the rr debugger without HW performance counters !

Really simple to use privacy manager for Android 6.0 Marshmallow and later

Textbook on metalogic based on the Open Logic Project

Textbook on Gödel's incompleteness theorems and computability theory

M. Ultseq, the genius many-valued sequent theorem prover

M. Ultlog, the genius many-valued logic expert

Open textbook on modal logic

A formal logic framework that runs in the browser

An open-source, customizable intermediate logic textbook

UCalgary version of forallx, an introduction to formal logic

A simple, expressive, embeddable programming language

6502 microprocessor emulator; library and command line utility

The smallest Forth real programming language for 6502. Based in milliForth for x86.

web.py is a web framework for python that is as simple as it is powerful.

⏣ React for Circuits

Formally Verified SNARKs in Lean

Lean circuit DSL for AIR

Adapting USB devices to work on old computers

🍫 runescape classic client ported to C

The Decompilation Wiki: info on all things decompilation

A faithful and open-source remake of Cave Story's engine written in Rust

Collaborative decompilation and reverse engineering website

Decompilation as a Service. Explore multiple decompilers and compare their output with minimal effort. Upload binary, get decompilation.

A decompilation and port of Sonic Advance 2 - a GameBoy Advance game written in C

Your single pane of glass for real-time analytics into MySQL/MariaDB & ProxySQL

Implementation of my RAG system that won all categories in Enterprise RAG Challenge 2

Freeciv is a Free and Open Source empire-building strategy game inspired by the history of human civilization. Upstream repository for the standalone Freeciv client and server. Report bugs and subm…