Minneapolis
Interests: Programming Languages, Computer Security, Formal Methods, Software Engineering
An ash::EntryCustom that directly links to libvulkan.so.
A port of Zeus to OCaml, written in Rust.
A programming language and operating system.
A Forth implementation using io_uring.
An IRC bot in Haskell, using algebraic effects.
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
b339241 Adds script to run the simplifier on every OCaml file in a directory.
~remexre pushed to ~remexre/zeus-on-a-camel git
82c1a18 more ast conversion
~remexre pushed to ~remexre/zeus-on-a-camel git
b7b3a83 Switch to Typedtree, remove types from Rust.
~remexre pushed to ~remexre/zeus-on-a-camel git
3001f8d Adds some portion of tuples; this is a checkpoint before switching to Typedtree.
~remexre pushed to ~remexre/zeus-on-a-camel git
ae13481 Initial commit
~remexre pushed to ~remexre/ash-direct-entry git
fbb4343 Disable langbs on aarch64-linux, until it works there.
~remexre pushed to ~remexre/stahl git
6ba1a8b Adds start of levitation docs, the start of converting expressions to Core.
~remexre pushed to ~remexre/stahl git
fda5189 Enables aarch64-linux, since the default output works.
~remexre pushed to ~remexre/stahl git