Learns a monoid with an L*-like algorithm

(Mirror) Implementation of the ONS (Ordered Nominal Sets) library in Haskell

Using SAT solvers to construct UIOs and ADSs

(Mirror) Hybrid adaptive distinguishing sequences for FSM-based complete testing

Code for "Learning nominal automata"

GUI image optimizer for Mac

https://1000-plus.github.io/

Formally verified x86-64 decompilation

Your self-hosted, globally interconnected microblogging community

Visual comparison tool for automata

🔒 Consolidating and extending hosts files from several well-curated sources. Optionally pick extensions for porn, social media, and other categories.

libLISA: Instruction Discovery and Analysis on x86-64

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

Partial grading automation for ANS

An automated framework for detecting state machine bugs in network protocol implementations.

Partition refinement

Output-decomposed Learning of Mealy Machines based on L*

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

A toolkit for SAT-based prototyping in Python

Advent of Code 2021 solutions in ALGOL 68

Analytic sampler compiler for combinatorial systems

An overview of property-based testing functionality

Python app to work with pictures and associated metadata from Apple Photos on macOS. Also includes a package to provide programmatic access to the Photos library, pictures, and metadata.

PCA of parties pov for Dutch 2021 elections

A modern commutative diagram editor for the web.

Packaged versions of Zotero and Juris-M for Debian-based systems

Colab Notebook for flexfringe