~remexre

Minneapolis

https://remexre.com

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

Embeddable badge for this view:

builds.sr.ht status

Markdown

[![builds.sr.ht status](https://builds.sr.ht/~remexre/sylvan/commits/freebsd.yml.svg)](https://builds.sr.ht/~remexre/sylvan/commits/freebsd.yml?)

~remexre/sylvan/commits/freebsd.yml

#1320633 ~remexre/sylvan/commits/freebsd.yml a day ago failed

9d96db9 — Nathan Ringo

update highlights

install-ocaml-deps build

failed a day ago

#1313993 ~remexre/sylvan/commits/freebsd.yml 10 days ago failed

18d28cd — Nathan Ringo

Start adding holes. This is gonna be a messy refactor...

install-ocaml-deps build

failed 10 days ago