rootmos' what-nots

Favorite projects

• lua-bigint ★1 » A small arbitrary precision integer Lua library
• h ★4 » Hardened script host programs
• displayswitcheroo » Configure your monitors using Lua
• openbsd ★3 » OpenBSD image builder
• continuously » Run things continuously when files change
• silly-k ★16 » silly-k is an experimental language inspired by K and APL

Projectssorted by recent activity

• templates » Opinionated project templates
• scripts » rootmos' scripts
• media » My Python wrappers around feh and mpv
• wwwo » My continuation-passing style static website generator written in OCaml
• dot-nvim » My Neovim configuration
• texhelp » TeX Live isolated installation tool
• lua-hack » Public domain Lua modules
• release.py » Create GitHub releases based on a .version file
• libr » Opinionated public domain C snippets
• xhook » Monitor X11 focus and execute hooks
• config ★1 » My configuration bucket
• fetch » One script to fetch them and in git bind them
• dvorak » My customized Dvorak layout
• AoC » Solutions to Advent of Code
• silly-actor ★4 » Small actor model implementation that compiles to C using nanopass-framework
• silly-ml ★7 » A a small ML-like language interpreted or compiled to x86-64 assembly with a custom runtime
• silly-joy ★35 » An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
• turn » Terminal livesplit application written in Rust
• coq-hack » A place to collect things I learn about Coq.
  • wf » Equivalence between two definitions of a well-founded relation (Coq's and Wikipedia's) using classical logic
  • STLC » Formalization of the simply typed lambda calculus
• silly-church ★8 » A small example of a nanopass style compiler
• twitch-cli ★9 » Twitch command line interface
• action » To act or not to act, that's the socket
• go-pkg-proxy » Golang package proxy server
• git-audit » Manages an audit trail for a Git repository by considering it as an Ethereum side-chain
• tabs-vs-spaces » Configure Vim according to heuristics based on the current buffer
• xpanel » stdin to an X11 window
• audio-journal » Android app and Linux scripts to keep a diary of sounds
• midi » Music and MIDI processing tools
• spl » Deterministically configure, build and install custom Linux distributions from scratch
• stream ★1 » Streaming utilities
• fb » rootmos generates buffers with frames
• agda-hack ★1 » A place to collect things I learn about Agda
  • bf » A BrainFuck interpreter
• apl-hack ★1 » A place to collect things I learn about APL
  • aoc19 » My solutions to Advent of Code 2019
  • aoc18 » My solutions to Advent of Code 2018
  • aoc17 » My solutions to Advent of Code 2017
• arweaver ★10 » An Arweave client written in Rust
• loom ★9 » Run a local development Arweave blockchain with faucets and on-demand mining
• dont-fear-the-reaper ★3 » A Linux subreaper that terminates orphans
• libpquv ★10 » A small library combining libpq and libuv
• lambdasylum ★2 » A place to study some lambda calculi
• ppx_useless ★4 » A useless ppx extension
• ppx_ski ★1 » SKI combinator calculus implemented in OCaml
• ldapy ★3 » Command line tool to explore LDAP databases

Posts

• Combining Brick and Haskeline (2017-08-31)
• Implementing a K-like language targeting Malfunction (2017-06-09)
• A small nanopass example (2017-05-30)
• Scala implicits and the Curry-Howard correspondence (2017-05-07)

Soundsjamdemoallbor19

Services

• ip.rootmos.io

Academic work

• 2014 » Carleman-Sobolev classes and Green’s potentials for weighted Laplacians
  • Licentiate thesis (DiVA)
  • Paper 1: Carleman-Sobolev classes for small exponents (arXiv, coauthored with Aron Wennman)
  • Paper 2: Solving Poisson's equation for the standard weighted Laplacian in the unit disc (arXiv)
• 2012 » Green’s function for two weighted Laplacians in the unit disc
  • Master's thesis (PDF)
• 2010 » On p-groups of low power order, Representations of p-groups
  • Bachelor's thesis (PDF)
  • joint work with Gustav Sædén Ståhl and Johan Laine

Resume

PDF (updated May 17, 2024)