Kristoffer Josefsson's repositories
clash-systolic
Systolic Networks in Clash
hash-cores
Experiments with practical, type specified FPGA hashing circuits using the Clash framework
kavascript
kristoffer + javascript
libdrm_v3d
A thin userland wrapper for the V3D DRM driver
OrangeCrab
ECP5 breakout board in a feather physical format
poberezkin.com
My blog
proto-lens
API for protocol buffers using modern Haskell language and library patterns.
purescript-hypertrout
Build servers in Hyper using Trout
purescript-react-mui
Purescript bindings for https://material-ui.com/
purescript-readts
Read Typescript source and write Purescript types
purescript-tagged
Phantom tags
purescript-trout
Type-Level Routing for PureScript
purescript-trout-client
Automatically derived XHR clients for Trout routing types.
purescript-tscompat
Purescript types and classes for interop with Typescript
purescript-websocket-moderate
A different websocket binding for purescript
riscv-semantics
A formal semantics of the RISC-V ISA in Haskell