ScraperFlow

Scraper is a workflow framework which enables flow-based or task-oriented programming in a declarative way. It is based on the language research collaboration with Professor, D.Sc. Atsushi Igarashi (五十嵐 淳) for my Master’s thesis Formal Semantics for Composable Workflows in Scraper in co-supervision by Prof. Dr. Arnd Poetzsch-Heffter.

Antidote, riak_core_lite

Antidote is a replicated database featuring high availability, transactional causal+ consistency, and expressive replicated data types.

riak_core_lite is a framework that simplifies the development of dynamo-style architectures, such as highly-available key-value stores and messaging systems. It is used as the foundation for AntidoteDB.

I worked on riak_core_lite, a fork of the original riak_core, and integrating it into AntidoteDB.

Regular Language Automaton Checker (RIAC)

RIAC is a regular language inclusion solver for languages represented by NFAs. It is a tested, stand-alone, and open-source C++ program built in collaboration with the workgroup of Prof. Roland Meyer.

A live demo and benchmark results are hosted here.

Java Modular Sat Solver (JMSS)

JMSS is a efficient and optimized solver for propositional logic. It is a tested, stand-alone, and open-source Java program and the outcome of my Bachelor’s thesis supervised by Prof. Roland Meyer and Sebastian Muskalla.