A library for producing terminal plots.

A tracker for misogyny issues in tech

A special-purpose processor for pure, non-strict functional languages

An open-source, customizable intermediate logic textbook

Reimplementation of a subset of Cabal

Hugs implementation of Haskell

An interpreter for a concurrent lisp with message-passing and pattern-matching.

Python and/or Matlab-scripts to control the hardware we have in the lab

Terminal-based presentations using Pandoc

✨ Programming Language Research, Applied PLT & Compilers

PhD course on Functional Programming and Climate Impact Research

Genetic program repair using GHC

A demo implementation of a simple dependently-typed language

The official interpreter for the Jeopardy language

Library for writing Discord bots

Haskell implemented with combinators

Automatic testing of Haskell programs.

wasm abstract machine

Template for Licentiate and PhD theses at the department of CSE at Chalmers.

My static page

A library OS for Linux multi-process applications, with Intel SGX support

An End-to-End Distributed and Scalable Cloud KMS (Key Management System) built on top of Intel SGX enclave-based HSM (Hardware Security Module), aka eHSM.

ABC: System for Sequential Logic Synthesis and Formal Verification

ZSWatch - the Open Source Zephyr™ based Smartwatch, including both HW and FW.

Code for Compiler-Aided Development of Trusted Enclaves with Rust (ARES '22)