TIC-80 is a fantasy computer for making, playing and sharing tiny games.

The RelationalAI Software Development Kit (SDK) for Julia.

The RelationalAI command line interface

Arrays indexed as the order of Star Wars movies

Advice for writing LaTeX documents

Execute your Gradle build and trigger dependency submission

Master Thesis text, University of Athens

The Enterprise-ready testing and specification framework.

A guide to creating a seamless Windows 10 titlebar in your Electron app

Recaffeinating Java ☕️ with custom semantics and extensions

Resumes generated using the GitHub informations

The official repo of Doop, the declarative pointer analysis framework.

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

A tool for analyzing LLVM bitcode using Datalog.

A good looking terminal emulator which mimics the old cathode display...

Lean, hackable, extensible slide deck framework. Previously known as CSSS.