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.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseI'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.
Our implementation of the RDA DMP Common Standard for machine-actionable Data Management Plans
Java
function* makeSlices(delim, array) {
let offset = 0;
let length = 0;
for(let x of array) {
if (x === delim) {
/*
* 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