owickstrom

komposition

The video editor built for screencasters

gi-gtk-declarative

Declarative GTK+ programming in Haskell

pandoc-include-code

A Pandoc filter for including code from source files

motor

Type-safe effectful state machines in Haskell

tlaplus-cli-template

CLI-driven TLA+ project template

pandoc-emphasize-code

A Pandoc filter for emphasizing code in fenced blocks

minimal-kotlin-nix-example

Minimal Kotlin and Nix flake example (with Gradle 8 support)

wickstrom.tech

Source for my blog

dotfiles

My dotfiles for OSX and Ubuntu

.emacs.d

fuzzig

Melding fuzzing and PBT concepts in Zig (experiment)

property-based-testing-the-ugly-parts

A talk for MF#K, February 26, 2019

gitpod-nix-test

guism-example

WIP

owickstrom

The profile page

specifying-and-testing-web-applications

Slides for a talk

thinking-with-types

📖 source material for Thinking with Types

cdp-debugger-loop

Bug repro

chromiumoxide

Chrome Devtools Protocol rust API

Examples

A collection of TLA+ specifications of varying complexities

github-issue-templates

:symbols: A collection of GitHub issue and pull request templates

haskell-hedgehog

Hedgehog will eat all your bugs.

home-manager

Nix home-manager setup

kotlintest

Powerful, elegant and flexible Kotlin test framework

linear-temporal-logic

sandbox for playing with linear temporal logic

nixpkgs

Nix Packages collection

qcheck

QuickCheck inspired property-based testing for OCaml.

tigerbeetle

The distributed financial transactions database designed for mission critical safety and performance.

tla-bin

Command line binaries for the TLA+ language

z3-lab