Pinned Repositories
gi-gtk-declarative
Declarative GTK+ programming in Haskell
idris-vimscript
Compile Idris to Vimscript, like you always wanted.
komposition
The video editor built for screencasters
motor
Type-safe effectful state machines in Haskell
pandoc-emphasize-code
A Pandoc filter for emphasizing code in fenced blocks
pandoc-include-code
A Pandoc filter for including code from source files
the-monospace-web
A minimalist design exploration
vim-colors-paramount
A minimal colorscheme for Vim that only puts emphasis on the paramount.
purescript-spec
Testing framework for Purescript
quickstrom
High-confidence browser testing
owickstrom's Repositories
owickstrom/the-monospace-web
A minimalist design exploration
owickstrom/komposition
The video editor built for screencasters
owickstrom/gi-gtk-declarative
Declarative GTK+ programming in Haskell
owickstrom/pandoc-include-code
A Pandoc filter for including code from source files
owickstrom/motor
Type-safe effectful state machines in Haskell
owickstrom/minimal-kotlin-nix-example
Minimal Kotlin and Nix flake example (with Gradle 8 support)
owickstrom/pandoc-emphasize-code
A Pandoc filter for emphasizing code in fenced blocks
owickstrom/wickstrom.tech
Source for my blog
owickstrom/dotfiles
My dotfiles for OSX and Ubuntu
owickstrom/home-manager
Nix home-manager setup
owickstrom/.emacs.d
owickstrom/fuzzig
Melding fuzzing and PBT concepts in Zig (experiment)
owickstrom/property-based-testing-the-ugly-parts
A talk for MF#K, February 26, 2019
owickstrom/8bitdo-kbd-mapper
Key mapper for 8BitDo's Retro Mechanical Keyboard
owickstrom/gitpod-nix-test
owickstrom/guism-example
WIP
owickstrom/owickstrom
The profile page
owickstrom/specifying-and-testing-web-applications
Slides for a talk
owickstrom/cdp-debugger-loop
Bug repro
owickstrom/chromiumoxide
Chrome Devtools Protocol rust API
owickstrom/Examples
A collection of TLA+ specifications of varying complexities
owickstrom/github-issue-templates
:symbols: A collection of GitHub issue and pull request templates
owickstrom/haskell-hedgehog
Hedgehog will eat all your bugs.
owickstrom/kotlintest
Powerful, elegant and flexible Kotlin test framework
owickstrom/lazyfs
LazyFS: A FUSE Filesystem with an internal dedicated page cache, which can be used to simulate data loss on unsynced writes
owickstrom/linear-temporal-logic
sandbox for playing with linear temporal logic
owickstrom/nixpkgs
Nix Packages collection
owickstrom/qcheck
QuickCheck inspired property-based testing for OCaml.
owickstrom/tigerbeetle
The distributed financial transactions database designed for mission critical safety and performance.
owickstrom/z3-lab