kejace
Follow
-
dada Public
Forked from sellout/dadaA recursion scheme library for Dhall.
GNU Affero General Public License v3.0 UpdatedDec 29, 2023 -
snarkl Public
Forked from martyall/snarklHaskell BSD 3-Clause "New" or "Revised" License UpdatedDec 13, 2023 -
libsnark Public
Forked from jkroll/libsnarklibsnark: a C++ library for zkSNARK proofs
C++ Other UpdatedDec 12, 2023 -
-
-
hyper Public
Forked from srghma/hyperType-safe, statically checked composition of HTTP servers
PureScript Mozilla Public License 2.0 UpdatedDec 14, 2021 -
-
purescript-trout-client Public
Forked from purescript-hyper/purescript-trout-clientAutomatically derived XHR clients for Trout routing types.
-
purescript-trout Public
Forked from purescript-hyper/purescript-troutType-Level Routing for PureScript
-
-
purescript-websocket-moderate Public
Forked from athanclark/purescript-websocket-moderateA different websocket binding for purescript
PureScript BSD 3-Clause "New" or "Revised" License UpdatedSep 14, 2021 -
purescript-hypertrout Public
Forked from purescript-hyper/purescript-hypertroutBuild servers in Hyper using Trout
-
purescript-readts Public
Forked from qlonik-forks/purescript-readtsRead Typescript source and write Purescript types
PureScript MIT License UpdatedJul 28, 2021 -
purescript-react-mui Public
Forked from athanclark/purescript-react-muiPurescript bindings for https://material-ui.com/
PureScript UpdatedJul 27, 2021 -
purescript-tscompat Public
Forked from athanclark/purescript-tscompatPurescript types and classes for interop with Typescript
PureScript UpdatedJul 27, 2021 -
purescript-tagged Public
Forked from LiamGoodacre/purescript-taggedPhantom tags
PureScript MIT License UpdatedJul 9, 2021 -
-
clash-systolic Public
Forked from alex-mckenna/clash-systolicSystolic Networks in Clash
Haskell BSD 2-Clause "Simplified" License UpdatedMar 14, 2021 -
proto-lens Public
Forked from google/proto-lensAPI for protocol buffers using modern Haskell language and library patterns.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 20, 2021 -
riscv-semantics Public
Forked from mit-plv/riscv-semanticsA formal semantics of the RISC-V ISA in Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 18, 2020 -
tidal-vis Public
Forked from tidalcycles/tidal-visTidal is a domain specific language for live coding pattern. This package allows colour patterns to be rendered as PDF or SVG files.
Haskell GNU General Public License v3.0 UpdatedNov 16, 2020 -
libdrm_v3d Public
Forked from Idein/libdrm_v3dA thin userland wrapper for the V3D DRM driver
C GNU General Public License v2.0 UpdatedNov 16, 2020 -
-
poberezkin.com Public
Forked from epoberezkin/poberezkin.comMy blog
CSS MIT License UpdatedSep 4, 2020 -
OrangeCrab Public
Forked from orangecrab-fpga/orangecrab-hardwareECP5 breakout board in a feather physical format
HTML Other UpdatedAug 4, 2020 -
blinky Public
Forked from fusesoc/blinkyExample LED blinking project for your FPGA dev board of choice
Verilog MIT License UpdatedAug 1, 2020 -
-
hs-abci Public
Forked from f-o-a-m/keplerA Haskell application that facilitates writing ABCI servers
Haskell Apache License 2.0 UpdatedFeb 7, 2020 -
hash-cores Public
Forked from blaxill/hash-coresExperiments with practical, type specified FPGA hashing circuits using the Clash framework
Haskell MIT License UpdatedJan 6, 2020 -
basemoji Public
use emojis to store your precious crypto