Skip to content
View rockofox's full-sized avatar
57 followers · 178 following
  • Austria
  • 02:47 (UTC +02:00)

Achievements

Achievement: Arctic Code Vault ContributorAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: YOLOAchievement: StarstruckAchievement: Public Sponsor

Achievements

Achievement: Arctic Code Vault ContributorAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: YOLOAchievement: StarstruckAchievement: Public Sponsor

Highlights

Block or report rockofox

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.

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
rockofox/README.md

Software engineer with a weakness for theory, functional programming, and rabbit holes.

I work professionally with Kotlin,, TypeScript/Angular, and Kubernetes, and spend my spare time exploring CS theory, functional programming, and systems software.

Selected Projects

Project Description
indigo Multiparadigm programming language designed around functional principles, implemented in Haskell
intellij-haskell-lsp IntelliJ plugin providing Haskell language support via haskell-language-server
obsidian-advanced-find-and-replace Vault-wide regex find-and-replace with capture group support and live preview
firefox-minima Minimalist Firefox theme inspired by qutebrowser
tatoeba-lookup Browser extension for fetching word definitions from the Tatoeba corpus
aurora x86 kernel written in C, an exercise in low-level systems programming I did a couple years ago

Technologies

Kotlin TypeScript Haskell Nix Kubernetes

Pinned Loading

  1. firefox-minima firefox-minima Public

    Minimalist Firefox Theme inspired by qutebrowser

    CSS 102 9

  2. indigo indigo Public

    Functional programming language

    Haskell 9

  3. intellij-haskell-lsp intellij-haskell-lsp Public

    IntelliJ Plugin that provides Haskell language support via haskell-language-server

    Kotlin 39 8

  4. tatoeba-lookup tatoeba-lookup Public

    Tatoeba Lookup is a WebExtension that allows users to fetch and display definitions for selected words from the Tatoeba dictionary.

    JavaScript 1

  5. aurora aurora Public

    A x86 kernel written in C mostly as a learning experience

    C 7

  6. system system Public

    System configuration using nix.

    Nix 2