Skip to content
View marpaia's full-sized avatar
:shipit:
Continuously Integrating
:shipit:
Continuously Integrating

Organizations

@cc-ai @cu-applied-math @moonfire-ventures @alpinekinetics

Block or report marpaia

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please donโ€™t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this userโ€™s behavior. Learn more about reporting abuse.

Report abuse
marpaia/README.md

Hello! My name is Mike ๐Ÿ‘‹

Work

I'm Managing Partner & CTO at Moonfire Ventures ๐ŸŒ—๐Ÿ”ฅ

Previously, I was:

Biological Engineering

I maintain a growing ecosystem of open-source software for biological engineering across compilers, robotics, data infrastructure, machine learning, and formal methods. My focus is the infrastructure layer that can help make DBTL cycles more precise, repeatable, scalable, and increasingly autonomous, working toward a future in which biological laboratories operate more like data centers do today

Lab Automation

  • The Lab Compiler - a compiler toolchain for describing biology and orchestrating work in the laboratory
    • opentrons-protocol - a Rust implementation of the Opentrons JSON protocol format, with typed authoring and construction-time validation
    • hamilton-star - a Rust implementation of the Hamilton STAR/STARlet liquid-handling robot's firmware command protocol and its USB transport
    • byonoy-hid - a Rust implementation of Byonoy's USB HID protocol
    • inheco-sila - a Rust implementation of the Inheco SiLA 1.x SOAP protocol

Data Infrastructure

Formal Methods

  • crnt-lean - a Lean 4 formalization of Chemical Reaction Network Theory (CRNT)
  • grn-lean - a Lean 4 formalization of Gene-Regulatory Circuits in the Hill-Kinetic ODE Perspective

Machine Learning & Simulation

  • CellModeller2 - a GPU-accelerated multicellular modelling framework with independent implementations for Apple Metal, NVIDIA CUDA, and the CPU
  • ATCG-FM - a research workspace for genomic foundation models
  • synbio-torch - a PyTorch library for synthetic biology and biodesign machine learning
  • quiver - a machine learning library for the diverse design of gene-regulatory circuits

Osquery

Kubernetes

  • Iโ€™ve been using Kubernetes in production since 2016.
  • I was a member of the Kubernetes core contributor team from 2018 until 2021 where I served on the Release Team for four releases as well as participated in several Working Groups and SIGs.
  • I led my team at Kolide to build and operate what was one of the largest Kubernetes clusters in Google Cloudโ€™s GKE at the time.

Pinned Loading

  1. SynBioDex/sbol-rs SynBioDex/sbol-rs Public

    Rust implementation of the Synthetic Biology Open Language (SBOL 3.1.0 & 2.3.0)

    Rust 5

  2. sbol-db sbol-db Public

    A high-performance database for synthetic biology data. Store SBOL graphs and query them with SPARQL, SQL or a REST API compatible with SynBioHub.

    Rust 2

  3. lab-lang/lab lab-lang/lab Public

    Lab is a compiler toolchain for describing biology and orchestrating work in the laboratory.

    Rust 5 2

  4. DRAGGON-Lab/CellModeller2 DRAGGON-Lab/CellModeller2 Public

    CellModeller2 is a GPU-accelerated multicellular modelling framework with independent implementations for Apple Metal, NVIDIA CUDA, and the CPU

    Python

  5. crnt-lean crnt-lean Public

    A Lean 4 Formalization of Chemical Reaction Network Theory (CRNT)

    Lean 3

  6. grn-lean grn-lean Public

    A Lean 4 Formalization of Gene-Regulatory Circuits in the Hill-Kinetic ODE Perspective

    Lean 3