A secure scripting language for event-loop/reactive Java-based applications.

Quill is a modern WYSIWYG editor built for compatibility and extensibility

A wrapper executable that can run any executable as a Windows service, in a permissive license.

A lightweight RCP framework for JavaFX applications.

Lightweight ResultSet-to-object mapping tool, inspired by Dapper

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

This repo contains Minsk, a handwritten compiler in C#. It illustrates basic concepts of compiler construction and how one can tool the language inside of an IDE by exposing APIs for parsing and ty…

Fast web applications through dynamic, partially-stateful dataflow

Collaboration for reinventing software in human terms

Lightweight reflection library for GWT