Project: Snowflake Parser Generator

View on GitHub

Snowflake lets you interactively create PEG-based recursive-descent parsers via a Java Swing GUI.

Snowflake was developed in 2013-2014 and is now quite stable with 99% code coverage.

Project: The Autumn Programming Language

View on GitHub

Autumn is a multi-paradigm, compiled, and statically-typed programming language for the JVM.

Autumn began development as a personal project in 2010 and ended in 2015.

Project: Cascade Actor Framework

View on GitHub

Cascade is an embeddable actor framework contained within a single Java source-file.

Cascade began development in 2017 and is now stable with 99% code coverage.

Project: SatxPy SAT Solving

View on GitHub

The satxpy module trivializes working with boolean expressions and PySAT-based SAT solvers.

Project: Sexpr Pattern Matching

View on GitHub

An S-expression library, for Java, focused on creating Domain Specific Languages.

Sexpr was an idea in 2017 for Snowflake-like pattern matching applied to symbolic data structures.

Project: Nano Unit Testing Framework for C

View on GitHub

Provides a unit testing framework C-based programs in only two files.