~remexre

Minneapolis

https://remexre.xyz

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

ash-direct-entry

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

zeus-on-a-camel

A port of Zeus to OCaml, written in Rust.

stahl

A programming language and operating system.

furing

A Forth implementation using io_uring.

lemonbot

An IRC bot in Haskell, using algebraic effects.

Activity

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

a month ago via ash-direct-entry

a9faf74 Adds let support to simplifier.

a month ago via zeus-on-a-camel

83b6da3 removes paths

a month ago via zeus-on-a-camel

b339241 Adds script to run the simplifier on every OCaml file in a directory.

a month ago via zeus-on-a-camel

82c1a18 more ast conversion

a month ago via zeus-on-a-camel

b7b3a83 Switch to Typedtree, remove types from Rust.

a month ago via zeus-on-a-camel

3001f8d Adds some portion of tuples; this is a checkpoint before switching to Typedtree.

a month ago via zeus-on-a-camel
~remexre/zeus-on-a-camel

New git repository added

a month ago via zeus-on-a-camel

ae13481 Initial commit

a month ago via ash-direct-entry
~remexre/ash-direct-entry

New git repository added

a month ago via ash-direct-entry

73f725a Track build time.

~remexre pushed to ~remexre/stahl git

2 months ago via stahl

4fd9bde Moves comment.

~remexre pushed to ~remexre/stahl git

2 months ago via stahl

fbb4343 Disable langbs on aarch64-linux, until it works there.

~remexre pushed to ~remexre/stahl git

2 months ago via stahl

6ba1a8b Adds start of levitation docs, the start of converting expressions to Core.

~remexre pushed to ~remexre/stahl git

2 months ago via stahl

fda5189 Enables aarch64-linux, since the default output works.

~remexre pushed to ~remexre/stahl git

2 months ago via stahl
1 / 21