Very experimental symbolic execution engine for JVM bytecode

The Conventional Commits toolbox

Formal verification support for Kotlin

A tool for Boogie and SMT-LIB engineering

Simple programming language, statically typed and compiled to JVM bytecode

A command line interface to generate python code from asyncapi spec

A C-based CLI image steganography tool for embedding text into PNG or PPM images

Unofficial AWS SDK for Common Lisp

A statically typed lisp, without a GC, for real-time applications.

Library with common API for various MATE modules

A Nix wrapper for declarative Thunderbird extensions

JS bindings and playground of post-quantum asymmetric ciphers

egraphs + datalog!

Boogie-less-triggers

This is the personal website of Ketai Qiu.

Create views of the same content in two Emacs buffers

XZ Utils

A read only mirror of LLVM's llvm-lit code

Debug Adapter Protocol for Emacs

Property-based testing for Scala

A debugger for Clojure and ClojureScript with some unique features.

Resumable exceptions and delimited continuations for JVM

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

A logic programming library for Clojure & ClojureScript