- Sydney, Australia
- lambdafoo.com
- @tsmc.purely-functional.com
Highlights
Stars
A library to manage Mach port right references and exchange Mach messages in Rust.
A functional programming language with shell scripting capabilities
A time traveling resource monitor for modern Linux systems
Walnut356 / llvm-project
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
Java agent that acts as a proxy to the almighty Async Profiler
Collect CPU callstack samples from a windows process
A blazingly fast LSP client for Emacs
Run the rr debugger in a Linux VM on apple silicon macOS or in the cloud. Use the rr debugger without HW performance counters on x86-64 and aarch64. Tutorial Link 👇
Blazing fast and correct x86/x64 disassembler, assembler, decoder, encoder for Rust, .NET, Java, Python, Lua
Ocaml mode for emacs using treesitter
A Haskell framework for running concurrent computations on an HPC cluster.
DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.
A Zookeeper backend for Cloud Haskell.
Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.
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.