kejace

basemoji

use emojis to store your precious crypto

blinky

Example LED blinking project for your FPGA dev board of choice

clash-systolic

Systolic Networks in Clash

dada

A recursion scheme library for Dhall.

docker-vivado

hash-cores

Experiments with practical, type specified FPGA hashing circuits using the Clash framework

hdl-coursera

hgeometry

HGeometry

hs-abci

A Haskell application that facilitates writing ABCI servers

hyper

Type-safe, statically checked composition of HTTP servers

iam

kavascript

kristoffer + javascript

libdrm_v3d

A thin userland wrapper for the V3D DRM driver

libsnark

libsnark: a C++ library for zkSNARK proofs

ms1-project

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

snarkl

straw

Compiling to SNARKs

tidal-vis

Tidal is a domain specific language for live coding pattern. This package allows colour patterns to be rendered as PDF or SVG files.