tmcgilchrist
Follow
Stars
Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, and Terragrunt operations via pull re…
Code for a training session on how to use Rust to build on top of seL4, to be delivered at the seL4 Summit 2024.
Materials for a training session on how to use Rust to build on top of seL4, to be delivered at the seL4 Summit 2024.
Empowering everyone to host fast and efficient Minecraft servers.
An OpenAPI 3 to OCaml client generator.
A massively parallel, high-level programming language
Command-line sampling profiler for macOS and Linux
A simple forum built on top of Dream, Caqti, Omd, Preface, Cmdliner and other useful OCaml libraries
Plugin for Google's protobuf compiler to generate interfaces based on protobuf specifications and runtime for encoding and decoding protobuf messages
Comparing OCaml dwarf output as of today (2024-01-25)
The DTrace Toolkit: A set of scripts for use with DTrace on various systems.
Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.
Runtime Detection of Data Races in OCaml with ThreadSanitizer
Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.