Advent of Code 2020 solutions in Dyalog APL

The Best Motherfucking Website

A comprehensive self-management System

An interpreter for Bel

📖 source material for Thinking with Types

Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐

High-performance, Reliable, and Parallel APL

text is boring, make it less so

An extremely minimalist colorscheme, even opting out of the second L in frills

Practice exploiting Cross-Site Request Forgery vulnerabilities

State machines in Idris

A workshop where you learn about distributed file sharing

📞 Free and reliable audio calls for everyone w/ browser p2p.

[DEPRECATED, please check out fp-ts] Implementation of common algebraic types in JavaScript + Flow

Run-time type system for JavaScript

ostensibly just about implementing exceptions in haskell

Doctests for JavaScript (and CoffeeScript)

An eslint config which reduces JS to a pure functional language

A library that allows you to "tag" a value with a specific type for compile time verification.

An experiment with higher-kinded types in elm

simple text editor in go

Specification for common algebraic structures in JavaScript based on Fantasy Land

Liquid Types For Haskell

crap lisp