Latex code for making neural networks diagrams

A textbook on informal homotopy type theory

Research on integrating datalog & lambda calculus via monotonicity types

Raft.js is an implementation of the Raft consensus algorithm in JavaScript and using WebRTC.

A billable-time invoice featuring style over substance

Documentation about scriptless scripts

Denotational Design: from programs to meanings

A paper computer for Shamir's Secret Sharing over the Bech32 alphabet.

Example implementation of Algorithm W for Hindley-Milner type inference

A detailed description of how Bitcoin Elements Alpha Confidential Transactions works

Learning to Discover Efficient Mathematical Identities

A talk on type-generic FFT in Haskell

An old tutorial for using `Effects` in Idris.

Taproot security proof

A tool to analyze the topology of Bitcoin's Lightning Network

Paper by @colah and @mnielsen on visualizing the behaviour of large numbers of neural nets

The slides from Jon Sterling's Vinyl talk at BayHac 2014

EDSLs for (software) engineers