~remexre

Minneapolis

https://remexre.xyz

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

clnix

An alternative packaging for Common Lisp packages in Nix.

furing

A Forth implementation using io_uring.

zeus-on-a-camel

A port of Zeus to OCaml, written in Rust.

ash-direct-entry

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

stahl

A programming language and operating system.

Activity

bc3aaf1 scripts: adds a build-the-world script

~remexre pushed to ~remexre/clnix git

4 months ago via clnix

0702761 coalton: 2022-01-13 => 2022-02-22

~remexre pushed to ~remexre/clnix git

7 months ago via clnix

b1b85c2 Adds aarch64-linux notes to status.

~remexre pushed to ~remexre/clnix git

8 months ago via clnix

400f79f Adds aarch64-linux notes to status.

~remexre pushed to ~remexre/clnix git

8 months ago via clnix

cb0799d Fix the cl-async-* packages, thanks to some advice from Uthar.

~remexre pushed to ~remexre/clnix git

8 months ago via clnix

c741ab6 Lots of build overrides; at 72% of Quicklisp, 98% of nixpkgs.

~remexre pushed to ~remexre/clnix git

8 months ago via clnix

34d7216 Adds clnix-swank-server and documentation on its use.

~remexre pushed to ~remexre/clnix git

8 months ago via clnix

085f9d6 Close to final changes before advertising this:

~remexre pushed to ~remexre/clnix git

8 months ago via clnix
~remexre/clnix

New git repository added

8 months ago via clnix

6f20213 Split back out the package definition from the flake definition.

~remexre pushed to ~remexre/furing git

11 months ago via furing

167ce14 Adds NixOS CI job.

~remexre pushed to ~remexre/furing git

11 months ago via furing

d603b33 Flakify!

~remexre pushed to ~remexre/furing git

11 months ago via furing

15ea068 Release v0.2.0, with support for ash v0.33.0.

1 year, 1 month ago via ash-direct-entry

a9faf74 Adds let support to simplifier.

1 year, 1 month ago via zeus-on-a-camel

83b6da3 removes paths

1 year, 1 month ago via zeus-on-a-camel
1 / 22