I'm a British software engineer with interests in FP, DSLs, systems software, and esoterical computing/languages.
My hobbyist coding/open source contributions are now publicly viewable at git.sr.ht/~rlamacraft.
I'm a British software engineer with interests in FP, DSLs, systems software, and esoterical computing/languages.
My hobbyist coding/open source contributions are now publicly viewable at git.sr.ht/~rlamacraft.
This the main repository for RSpace: rspace-web. Check https://github.com/rspace-os/rspace-web/blob/main/DevDocs/DeveloperNotes/GettingStarted/GettingStarted.md for setup instructions.
Our implementation of the RDA DMP Common Standard for machine-actionable Data Management Plans
Java
/*
* We first need to create a few functions that will facilitate out weird syntax that
* relies on continuation-style programming wherein the next statement is executed as
* a lambda invoked by the previous statement. For clarity, `cf` is shorthand for
* callforward; like a callback, but not really.
/*
* This type defines the internal state of our class so
* that we can use type refinement to check each branch.
* It should not be exported from this module and is
* purely an implementation detail.
Program for generating an instruction decoder for Captive derived from the ARM ISA specification
Python 1
PureScript library for interfacing with the APIs exposed by the Scriptable iOS app
PureScript 1