~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/alpine.yml.svg)](https://builds.sr.ht/~remexre/sylvan/commits/alpine.yml?)

~remexre/sylvan/commits/alpine.yml

#1445587 ~remexre/sylvan/commits/alpine.yml 19 days ago success

c3a4b55 — Nathan Ringo

flake: set release version number

install-ocaml-deps build

success 19 days ago

#1320636 ~remexre/sylvan/commits/alpine.yml 6 months ago failed

9d96db9 — Nathan Ringo

update highlights

install-ocaml-deps build

failed 6 months ago

#1313996 ~remexre/sylvan/commits/alpine.yml 6 months ago failed

18d28cd — Nathan Ringo

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

install-ocaml-deps build

failed 6 months ago