I'm a software engineer and independent researcher focused on how programs are specified, reasoned about, and made reliable through programming language theory, semantics, and formal methods. I hold an MSc in Advanced Computer Science from the University of Leicester, where my thesis focused on operational semantics.

I've worked at companies including Rhino, Leafly, Andela, and HousingAnywhere. My work has spanned frontend, backend, and infrastructure. I continue independent research and writing at the intersection of programming language theory, semantics, and practical systems.

I'm on GitHub, LinkedIn, and Twitter. To get in touch, email me at n.k.a.manu06@gmail.com.

Nana Adjei Manu

Open Source Projects

I build tools and libraries across programming languages, systems, and tooling. All projects can be found on my GitHub page. Some of my projects include:

  • L-Language - A minimal functional language in Haskell with a React visualizer for evaluation and operational semantics.
    HaskellReactPLT
  • Rtpl - A low-latency market data pipeline for trading workloads, designed for sub-5ms message processing.
    SystemsTradingLow Latency
  • Sqll - An open-source Python SQL client built around SQLite for embedded workflows.
    PythonSQLLibrary
  • Pricc - A C project generator written in Rust for faster systems development setup.
    RustCTooling
  • rcv - A Rust resume generator that converts declarative .rcv files into PDF output.
    RustPDFCLI
  • cathtml - A type-safe, composable DSL for building HTML pages in OCaml.
    OCamlDSLHTML
  • gurl - A CLI wrapper around curl for faster and more ergonomic terminal usage.
    RustCLITooling
  • raptur - An Express-inspired router for TypeScript backend services.
    TypeScriptRouterBackend
  • cashapp - A peer-to-peer payments service prototype.
    GoPaymentsSystem

Recent Posts

All posts →