Pure64 is a kernel/software loader for x86-64 systems.

Forth programming language eforth for x86 PC 64 bits long mode STC

64-bit implementation of Forth

StyleGAN2 - Official TensorFlow Implementation

The adventures of a Haskell compiler

The Sandboxie application

JavaScript LaTeX to HTML5 translator

The new Windows Terminal and the original Windows console host, all in the same place!

Agda is a dependently typed programming language / interactive theorem prover.

Haskell to JavaScript compiler, based on GHC

Generating speech descriptions for XML structures

A Tengwar (J.R.R. Tolkien’s Elvish alphabet) transcriber for ES5 and HTML5

Glaemscribe, the tolkienian languages/writings transcription engine.

Modest is a fast HTML renderer implemented as a pure C99 library with no outside dependencies.

Powerful SVG-Editor for your browser

JavaScript Scannerless Generalized LR parser

A javascript library to run SQLite on the web.

The best enterprise-grade WYSIWYG editor. Fully customizable with countless features and plugins.

A preprocessor for a Haskell record syntax using dot

A MathJax plugin for TiddlyWiki

GPP, a generic preprocessor

The Haskell-Scriptable Editor

A custom desktop browser for TiddlyWiki 5 and TiddlyWiki Classic, based on nw.js

Self-rendering Markdown + LaTeX documents

Refnotes is a reference manager tool that allows you to maintain a "personal library" of references, citations, footnotes and abbreviations in Tiddlywiki.

An introduction to programming language theory in Agda

An incremental parsing system for programming tools

Xy-pic extension for MathJax

The strongly hyped Haskell interpreter.