Phillip Allen Lane computablee · he/they
0 followers · 0 following
  • Huntsville, AL, USA

  • Young professional doing formal methods, compilers, and high-performance computing.

  • Joined on 2025-08-31
Overview Repositories
23
 Projects Packages Public activity Starred repositories
1

Hey! 👋 Great to see you've made it here.

My name is Phillip Lane, and I am a staff member at Lawrence Livermore National Laboratory. Most of my software development these days happens at work, so most of the projects here don't get updated very often. Nevertheless, I have a couple projects I'm (very very slowly) working on:

  • CLPL - A command line argument parsing header-only library for C++
  • Zermelo - A compiler for a set-theoretic programming language of my own creation

Here's some of my favorite work in the past:

  • DotMP - An OpenMP-like parallel programming library for the .NET framework
  • 100 Elo Chess Engine - A simple chess engine using classical AI
  • Rome Memory Barrier - An exploration into memory bottlenecks on the AMD Rome microarchitecture
  • Minecraft DS - A Minecraft demake for Petit Computer on the Nintendo DSi

I'm also a contributor to these open-source projects as part of my LLNL position:

  • ROSE Compiler - Program analysis and transformation at both the source and binary levels
  • Castor - Semi-automated functional verification for C++ in a similar style as Frama-C