TurnKey artifact for Z3

A fast static code analyzer & language server for Python

IdeaVim – A Vim engine for JetBrains IDEs

Hitchhiker's Guide to Logical Verification (2023 Edition)

Example language server (LSP) implementation for a toy language

Demo for high-performance type theory elaboration

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

Java bindings for Skia

A more maintainable, easier to share version of the infamous http://mindprod.com/jgloss/unmain.html

Dependent type checker using normalisation by evaluation

The Zenburn colour theme ported to Emacs

Java bindings for Skia

Processing 4.x releases for Java 17

An efficient symbolic term rewriting engine

Reviving the language that brought us the Jak & Daxter Series

Code, exercises and solutions from the book "Functional Programming in Java"

A Scala implementation of parsing with derivatives

MPS C# implementation

ECMAScript language implementation for JetBrains MPS

Build system for CVC4 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpacks it at runtime.

Arend plugin for IntelliJ IDEA

Building modern, elegant and fast Swing applications

GAPT: General Architecture for Proof Theory

A project designed to enhance Silent Hill 2 (SH2) graphics and audio for the PC. It also includes scripts to build or modify SH2 audio files (SFX, BGM and Dialog).

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

A Scala library which talks to Isabelle (DISCONTINUED)

JavaSMT - Unified Java API for SMT solvers.

Online mini-IDE for Kotlin

Reformats Java source code to comply with Google Java Style.

Code line highlighting for LaTeX with lstlisting (for beamer)