Anthony Cowley's repositories
ffmpeg-light
Minimal Haskell bindings to the FFmpeg library
concurrent-machines
Concurrency features for the Haskell machines package
LinearLogic
A simple development of linear logic in Coq.
yaml-light-lens
Lenses for working with YAML data.
emacs-lsp-booster-nix
Nix flake for the emacs-lsp-booster program
wgsl-ts-mode
WGSL tree-sitter support for emacs
nixos-rocm
NixOS support for the ROCm graphics stack (rocm.github.io)
mastodon_digest
A Python script that aggregates recent popular posts from your Mastodon timeline
bazel_rules
Useful bazel rules
Frames-streamly
streamly based Frames I/O, etc.
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
learning-hmm
Yet another Haskell library for hidden Markov models
nix-ros-overlay
ROS overlay for the Nix package manager
nix-templates
Nix flake templates
org-clock-reminder
Emacs package to remind you current clocking task or its absence
rules_pcl
Bazel rules for building PCL libraries (PointCloudLibrary)