~remexre

Minneapolis

https://remexre.com

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

~remexre/sylvan

A general-purpose programming language that aspires to have support for attribute grammars, managed effects, and efficient pure functional programming.

~remexre/flake

Personal Nix Stuff

~remexre/clnix

An alternative packaging for Common Lisp packages in Nix.

~remexre/exps

random experiments

~remexre/fib

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

~remexre/nasm

Personal fork of nasm.

~remexre/tea

The tea drawer! https://tea.remexre.xyz/

~remexre/multiclip

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

~remexre/nrutil

Common Lisp Utilities

~remexre/silver-well-typed-interpreter

A toy well-typed-interpreter in Silver.

~remexre/furing

A Forth implementation using io_uring.

~remexre/ash-direct-entry

An ash::EntryCustom that directly links to libvulkan.so.

1 / 2