~remexre

Minneapolis

https://remexre.xyz

Interests: Programming Languages, Computer Security, Formal Methods, Software Engineering

~remexre/exps

random experiments

~remexre/whgvah

We Have GraalVM At Home

~remexre/furing

A Forth implementation using io_uring.

~remexre/stahl

A programming language and operating system.

~remexre/fib

Was annoyed with the existing static site generator my blog was using, so throwing together my own.

~remexre/multiclip

A clipboard tool that copies a PNG file and a text selection at the same time.

~remexre/lemonbot

An IRC bot in Haskell, using algebraic effects.

~remexre/nr-langutil

PL utilities for Common Lisp

~remexre/g1

A graph store written in Rust.

~remexre/my-docker-home

Some scripts to run a Docker container over your home directory, as "you."

~remexre/sv-nbe

A small dependently-typed language written in Silver using term rewriting with strategy attributes.

~remexre/nrmods

A simple Unix module system.

1 / 2