jQuery UI MultiSelect widget

Train Logistics System

Visual planning tool for Factorio

A mod for Factorio. Allows you to plan out your production in detail.

Program to generate a layout of factory cells in Factorio using simulated annealing

FUE5 is a fan-made project with the goal to see what would Factorio look like and behave in 3D. This project has no affiliation with the official Factorio game.

Factorio Blog

Tesseract Open Source OCR Engine (main repository)

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

aider is AI pair programming in your terminal

Build AI assistants that interact with your systems

A lightweight and fast parsing library for C#.

Collective Mind (CM) is a small, modular, cross-platform and decentralized workflow automation framework with a human-friendly interface and reusable automation recipes to make it easier to build, …

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

RR - Railroad Diagram Generator

Draw railroad diagrams of EBNF grammars. In browser and on command line

EbnfStudio can be used to edit and analyze EBNF grammars.

An executable wrapper for Steam to make third-party launchers more convenient to use with a Steam Controller

The Kotlin Programming Language.

IntelliJ IDEA Community Edition & IntelliJ Platform

A friendly effect system for Haskell

A comparison of how computational effects and handlers are implemented in various programming languages.

A configuration as code language with rich validation and tooling.

A modern, high customizable, responsive Jekyll theme for documentation with built-in search.

DeDRM tools for ebooks

Micro-framework for .NET console application. Cocona makes it easy and fast to build console applications on .NET.

A collection of high performance language extensions for C#