Parsing, analyzing, and comparing source code across many languages

A friendly programming language from the future

C to Rust translator

Haskell to VHDL/Verilog/SystemVerilog compiler

Cryptol: The Language of Cryptography

Project: M36 Relational Algebra Engine

GIF that always shows the current time in UTC

The exercise files from 10 Minute Vim, for convenience of readers

Keyboard Layout Files Creator

Software defined radio library in Haskell

Core types and utilities

Comparison of build program expressive power

Solver for Shenzen Solitaire