Jakub Kopański's repositories
felix-algebra
Algebraic structures for use with Felix
agda-cat-linear
Linear map categories in Agda
agda-categories
A new Categories library for Agda
agda-stdlib
The Agda standard library
clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
denotational-hardware
Denotational hardware design in Agda
felix
Agda category theory library for denotational design
haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
home-manager
Manage a user environment using Nix [maintainer=@rycee]
Kaleidoscope-ModifierLayers
Modifier key layers for Kaleidoscope
miryoku_zmk
Miryoku is an ergonomic, minimal, orthogonal, and universal keyboard layout. Miryoku ZMK is the Miryoku implementation for ZMK.
rhine
Haskell Functional Reactive Programming framework with type-level clocks
rose-pine-emacs
Soho vibes for Emacs
shajra-keyboards
Nix build/flash tool for a Keyboardio Model 01 or ZSA Technology Labs Ergodox EZ or Moonlander keyboard
talon-nix
Auto packaging for Talon Voice [maintainer=@adisbladis]
zkfold-base
ZkFold's Base library
zmk
ZMK Firmware Repository
zmk-wireless-cnano
Shield and keymap for bastardkb's charybdis nano