Tim McGilchrist

airship. Helium + Webmachine = Airship. A toolkit for building declarative, RESTful web apps.

postgresql-transactional. Transactional monadic actions on top of PostgreSQL.

durin. Durin is a library for reading and writing the DWARF debugging format

ocaml-gitlab. Native OCaml bindings to Gitlab REST API v4

tiger. Compiler for Tiger language from "Modern Compiler Implementation in ML"

ocaml-debug-performance. Notes on OCaml debugging and performance

simple_irix_driver. Simple IRIX Device Driver

sloop. RAFT implementation in Erlang

transformers-either. transformers-either

simple_cache. simple_cache application from Erlang and OTP in Action

object. The object package provides a unified interface for working with object files across platforms.

hedgehog-corpus. Collections of strings for testing things.

ocaml-hedgehog. QuickCheck with shrinking for free

scheme. Write Yourself a Scheme in 48 Hours

pcl-ocaml. A parsec-style parser combinator library for ocaml

roy-rails. Ruby gem to bundle the Roy language as an alternate JavaScript Engine for Rails.

mach. OCaml interface to Mach 3.0 kernel in macOS

erlio. Erlang url shortener

llvm-tutorial. Toy language implemented on LLVM

ocaml-2022-submission. Talk submission to OCaml workshop 2022 at ICFP

webmachine_talk. Slides for a talk about WebMachine that I gave to the Sydney Erlang group on April 3, 2012

ocamlfilt. Demangle OCaml symbols

beaterl. An Erlang Music Library

ruby-roy. Ruby Roy is a bridge to the Roy JS compiler.

cothreads. Fork of cothreads library from source forge

riak_ripple_talk. Talk I gave at RoRo Sydney, Tuesday March 13th

slide_machine. Erlang + Webmachine + Riak = Slide presentation web app

.emacs.d. Tim's Emacs configuration

otp_rebar_sample. Erlang/OTP Rebar Application

seL4-MirageOS-PoC. Proof-of-concept for MirageOS on seL4

qcheck. QuickCheck inspired property-based testing for OCaml.

combobulate. Structured Editing and Navigation in Emacs with Tree-Sitter

ocaml-changes. Parse an OCaml community style changelog

ocurrent. Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)

ocaml-protoc. A Protobuf Compiler for OCaml

bondi. source code for the bondi programming language

huck. 'Cause just like in the classic mis-adventure, Tom doesn't really pull his weight. So Huck is gathering all the toml parsers and making them betterer.

milliner. Small ML for Erlang

lambdafoo.com. Source code for my personal blog.