Minneapolis
Interests: Programming Languages, Computer Security, Formal Methods, Software Engineering
An alternative packaging for Common Lisp packages in Nix.
A Forth implementation using io_uring.
A port of Zeus to OCaml, written in Rust.
An ash::EntryCustom that directly links to libvulkan.so.
A programming language and operating system.
bc3aaf1 scripts: adds a build-the-world script
~remexre pushed to ~remexre/clnix git
0702761 coalton: 2022-01-13 => 2022-02-22
~remexre pushed to ~remexre/clnix git
b1b85c2 Adds aarch64-linux notes to status.
~remexre pushed to ~remexre/clnix git
400f79f Adds aarch64-linux notes to status.
~remexre pushed to ~remexre/clnix git
cb0799d Fix the cl-async-* packages, thanks to some advice from Uthar.
~remexre pushed to ~remexre/clnix git
c741ab6 Lots of build overrides; at 72% of Quicklisp, 98% of nixpkgs.
~remexre pushed to ~remexre/clnix git
34d7216 Adds clnix-swank-server and documentation on its use.
~remexre pushed to ~remexre/clnix git
085f9d6 Close to final changes before advertising this:
~remexre pushed to ~remexre/clnix git
6f20213 Split back out the package definition from the flake definition.
~remexre pushed to ~remexre/furing git
15ea068 Release v0.2.0, with support for ash v0.33.0.
~remexre pushed to ~remexre/ash-direct-entry git
a9faf74 Adds let support to simplifier.
~remexre pushed to ~remexre/zeus-on-a-camel git
83b6da3 removes paths
~remexre pushed to ~remexre/zeus-on-a-camel git