glaebhoerl

simplecompiler

used to be something more ambitious, cut scope to just a simple compiler for thesis project

rust-notes

ducks

These are my notes about the ideas I had for a statically structurally typed programming language, many years ago

rust-frp

Unsophisticated push-based FRP library in Rust

type-eq

Type equality evidence you can carry around

odds-and-ends

this, that, and maybe the other

exists

Existential datatypes holding evidence of constraints

rfcs

RFCs for changes to Rust

a-stateful-mir-for-rust

An enrichment of Rust's core language to support more advanced features

cplusplus-frp

Unsophisticated push-based FRP library in C++11

data-nat

data Nat = Zero | Succ Nat

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

glaebhoerl.github.io

glaebhoerl.website

hs-zabt

Simple-minded abstract binding trees (Haskell)

LeechBlockNG

LeechBlock NG (Next Generation) for Firefox is a simple productivity tool designed to block those time-wasting sites that can suck the life out of your working day. All you need to do is specify which sites to block and when to block them.

nixpkgs

Nix Packages collection

phasechange

Freezing, thawing, and copy elision

rust

a safe, concurrent, practical language

vscode-rust

Rust for Visual Studio Code