Stories by fanf2

BNFGen: A random text generator based on context-free grammars

Staged compilation with two-level type theory [pdf]

Autosetup: A Tcl-based build environment "autoconfigurator"

Haflang: Hardware Acceleration of Functional Languages

Bluefishjs: A diagram drawing framework for JavaScript

The Joys of Unix Keyboards

Thoughts on Hashing in Rust

A multivalued language with a dependent type system. (A precursor to Epic Verse [pdf]

A Retrospective on SCCS, the Source Code Control System [pdf]

Fast type class resolution with a trie

Fixing the traffic jam in the science of technology safety

Dependent types and program equivalence [pdf] (2010)

Fend: An arbitrary-precision unit-aware calculator

What's higher-order about so-called higher-order references?

Faer: A general-purpose linear algebra library for Rust

Rewriting the Ruby Parser

Dependent types at work in Agda [pdf]

The complexity and performance of parsing with derivatives

Simulating time with square-root space

Deploying IPv6-mostly access networks

25
26
27
28
29
30
31
32
33
34