ShellCheck, a static analysis tool for shell scripts

Parsing, analyzing, and comparing source code across many languages

A friendly programming language from the future

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

Linux VR Desktop

🇪🇺 Wire back-end services

Pattern language

Command-line Kanban board/task manager with support for Trello boards and GitHub projects

Easy dependency management for Nix projects

A peer-to-peer stack for code collaboration

A programming language with static memory management based on λ-calculus

Emanate a structured view of your plain-text notes

Espial is an open-source, web-based bookmarking server.

IRC C++ eval bot

The Quantum IO Monad, implemented in Haskell

A personal website / #indieweb engine [OLD VERSION]

Content Addressable Storage Archive

A new implementation of the LambdaMOO server

Shoebox: a durable repository for human-scale collections of files, like the shoebox full of old letters and family photos discovered 50 years later.