Pinned Repositories
alto
Experiments in financial contracts
basemoji
use emojis to store your precious crypto
consensys-react-baseline
Baseline for DAPP UI's w/ Live Injection of Components and Styles
hethcon
slurp all the events
kryptonight
paillier
purescript-palto
purescript-paltoflare
kejace's Repositories
kejace/basemoji
use emojis to store your precious crypto
kejace/blinky
Example LED blinking project for your FPGA dev board of choice
kejace/clash-systolic
Systolic Networks in Clash
kejace/dada
A recursion scheme library for Dhall.
kejace/docker-vivado
kejace/hash-cores
Experiments with practical, type specified FPGA hashing circuits using the Clash framework
kejace/hdl-coursera
kejace/hgeometry
HGeometry
kejace/hs-abci
A Haskell application that facilitates writing ABCI servers
kejace/hyper
Type-safe, statically checked composition of HTTP servers
kejace/iam
kejace/kavascript
kristoffer + javascript
kejace/libdrm_v3d
A thin userland wrapper for the V3D DRM driver
kejace/libsnark
libsnark: a C++ library for zkSNARK proofs
kejace/ms1-project
kejace/OrangeCrab
ECP5 breakout board in a feather physical format
kejace/poberezkin.com
My blog
kejace/proto-lens
API for protocol buffers using modern Haskell language and library patterns.
kejace/purescript-hypertrout
Build servers in Hyper using Trout
kejace/purescript-react-mui
Purescript bindings for https://material-ui.com/
kejace/purescript-readts
Read Typescript source and write Purescript types
kejace/purescript-tagged
Phantom tags
kejace/purescript-trout
Type-Level Routing for PureScript
kejace/purescript-trout-client
Automatically derived XHR clients for Trout routing types.
kejace/purescript-tscompat
Purescript types and classes for interop with Typescript
kejace/purescript-websocket-moderate
A different websocket binding for purescript
kejace/riscv-semantics
A formal semantics of the RISC-V ISA in Haskell
kejace/snarkl
kejace/straw
Compiling to SNARKs
kejace/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.