Peer-to-Peer Databases for the Decentralized Web

n³ The unorthodox terminal file manager

Emacs X Window Manager

HoTT Note-taking action

Abstractions from Category theory with simple description & implementation, links to further resources.

🥧 Savoury implementation of the QUIC transport protocol and HTTP/3

Explorer plugin for GraphiQL

This guide details creating a secure Linux production system. OpenSCAP (C2S/CIS, STIG).

🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects

Programming Language Theory λΠ

The zero configuration build tool for the web. 📦🚀

Infer user interfaces from type signatures

Luke's Auto-Rice Bootstrapping Scripts: Installation Scripts for My Arch Linux Meta-Distribution

Exemplary real world application built with PureScript + Halogen

Pampy: The Pattern Matching for Python you always dreamed of.

DataLoader is a generic utility to be used as part of your application's data fetching layer to provide a consistent API over various backends and reduce requests to those backends via batching and…

An experimental, comprehensive port of React Native to the web.

A toolbox to iNNvestigate neural networks' predictions!

A pleasant note-taking platform in native C++.

A data visualization library for Elm

simple terminal UI for git commands

What I Wish I Knew When Learning Haskell

The Eta Programming Language, a dialect of Haskell on the JVM

A GraphQL library for Elm

Curated tutorial and resource links I've collected on React, Redux, ES6, and more

Simply Reactive! Declarative orchestration in Haskell using RDP

Awelon project is a new UI model with a new language.

A simple, in-browser, markdown-driven slideshow tool.

A fully-modern text-based browser, rendering to TTY and browsers

FAIR's research platform for object detection research, implementing popular algorithms like Mask R-CNN and RetinaNet.