Pinned Repositories
.emacs.d
emacs config
802.15.4
Medium Access Control layer of 802.15.4
cheshire
chive
Run SPICE in the clouds
denotational-arithmetic
felix-algebra
Algebraic structures for use with Felix
firrtl
Haskell FIRRTL implementation
keywee
WeeChat plugin for Keybase chat
signal-weechat
Use signal in weechat
zoid
Functionally described RISC-V core
jkopanski's Repositories
jkopanski/cheshire
jkopanski/denotational-arithmetic
jkopanski/felix-algebra
Algebraic structures for use with Felix
jkopanski/pie
jkopanski/agda-cat-linear
Linear map categories in Agda
jkopanski/agda-categories
A new Categories library for Agda
jkopanski/agda-stdlib
The Agda standard library
jkopanski/cargo2nix-issue
jkopanski/clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
jkopanski/denotational-hardware
Denotational hardware design in Agda
jkopanski/felix
Agda category theory library for denotational design
jkopanski/felix-boolean
jkopanski/generics
jkopanski/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
jkopanski/home-manager
Manage a user environment using Nix [maintainer=@rycee]
jkopanski/Kaleidoscope-ModifierLayers
Modifier key layers for Kaleidoscope
jkopanski/lab
jkopanski/LoliYul
Compiling to Solidity Yul using linear haskell and SMC
jkopanski/miryoku_zmk
Miryoku is an ergonomic, minimal, orthogonal, and universal keyboard layout. Miryoku ZMK is the Miryoku implementation for ZMK.
jkopanski/nano-agenda
A minimal org agenda for Emacs
jkopanski/nawi
jkopanski/overture
Yet another TypeScript prelude
jkopanski/reStream
Stream your reMarkable screen over SSH.
jkopanski/rhine
Haskell Functional Reactive Programming framework with type-level clocks
jkopanski/rose-pine-emacs
Soho vibes for Emacs
jkopanski/starknet-contract-verifier
CLI to verify your starknet contracts classes on block explorers!
jkopanski/talon-nix
Auto packaging for Talon Voice [maintainer=@adisbladis]
jkopanski/zkfold-base
ZkFold's Base library
jkopanski/zmk
ZMK Firmware Repository
jkopanski/zmk-wireless-cnano
Shield and keymap for bastardkb's charybdis nano