Universal markup converter

Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

A friendly programming language from the future

A statically typed lisp, without a GC, for real-time applications.

An advanced keyboard manager

A Dependently Typed Functional Programming Language

Linux VR Desktop

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Research language for array processing in the Haskell/ML family

Bluespec Compiler (BSC)

Applicative option parser

Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcap…

A native compiler backend for PureScript (via C++ or Golang)

Compiler for the Gren programming language

Haskell bindings for MLIR

Kotlin-backend for PureScript

Background daemon which archives a list of URLs to the Internet Archive, archive.is, and other services

Feedback services for intelligent tutoring systems

Watch Torrents using btfs and mpv without leaving the command line