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.
Name: Robert Lamacraft
Type: User
Company: @rspace-os
Bio: Interests in FP, DSLs, library code, and electronics
Location: UK
Blog: http://rlamacraft.uk
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.
Program for generating an instruction decoder for Captive derived from the ARM ISA specification
A simple virtual machine, and some hand-crafted object code
My crazy adventure into doing some low-level Assembly coding.
A dark UI theme for Atom that (kinda) follows Google's Material Design Guidelines.
Binary Enumerated Numerics - a simple CLI command and DSL for generating binary files for ROM chips
An Agda-embedded assembly language for programming my custom-built 4-bit breadboard CPU.
A minimalist launcher for Chrome that is inspired by Google Now, Apple's Spotlight, Alfred and some other bits and pieces.
Completed projects for the challenges set at reddit.com/r/DailyProgrammer
A live countdown of the remainder repayment required on a fixed-term debt.
My personal config files for a variety of programs that make up my development environment
Emacs configuration
The source code of my final year project; a tool for developing Web-based presentation slides from a simple markup language.
Much as rlamacraft.github.io is the home of the static content of my Website, this is the home of the static content of my Gemini Capsule
Collection of educational snippets of the Idris programming language.
SEG Project 3
Testing out a script that publishes RSS feeds from received email newsletters
Mostly obvious really. Two agents repeatedly playing noughts and crosses, optimising for the best strategy,
this is for the hack olympics
A JS Web Component designed to display 100,000s of textual output, such as console/logging output whilst maintaining 60fps
My solutions to the challenges at projecteuler.net
My adventures with Philip's Hue system
PureScript library for interfacing with the APIs exposed by the Scriptable iOS app
Wrapper around Toggl's API for use when building PureScript-based scripts (using purescript-purely-scriptable) for the Scriptable iOS app.
GitHub Personal README
Source code for personal website
Standalone Magit. A Git Porcelain inside Emacs.
A browser start page that displays bookmarks as constellations in the night sky
A collection of simple webpages for browser start pages, see /r/startpages
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.