~remexre

Minneapolis

https://remexre.xyz

Interests: Programming Languages, Computer Security, Software Engineering

~remexre/stahlos

A hobbyist operating system.

~remexre/csci8980-fall2020-sjguy

Work done as part of Stephen Guy's CSCI8980 on Realtime Planning & Simulation.

~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/furing

A Forth implementation using io_uring.

~remexre/sv-nbe

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

~remexre/nrmods

A simple Unix module system.

~remexre/standalone-haddock

A fork of https://github.com/ktvoelker/standalone-haddock/issues/30 for Cabal 3