Pinned Repositories
hs-web3
Web3 API for Haskell
chanterelle
Chanterelle -- a more functional truffle
purescript-web3
a purescript library for the web3 api
arithmetic-circuits
factors
A demo application for zk-snarks in Haskell
arkworks-bridge
Importing R1CS and witness files into arkworks via json
calc
purescript-monadic-streams
servant-zeppelin
Server Side Loading JSON
straw
Compiling to SNARKs
martyall's Repositories
martyall/protobuf
Protocol Buffers - Google's data interchange format
martyall/trillian
A transparent, highly scalable and cryptographically verifiable data store.
martyall/purescript-trout
Type-Level Routing for PureScript
martyall/servant-zeppelin
Server Side Loading JSON
martyall/internet-faucet
A faucet for the internet!
martyall/trypurescript
PureScript in the browser
martyall/try-behaviors-package-set
a psc-package set for trying purescript-behaviors
martyall/behave
playing with purescript behaviours and halogen
martyall/vote-graph
martyall/pear
martyall/composite
Integrations with Vinyl/Frames records.
martyall/purescript-halogen
A declarative, type-safe UI library for PureScript.
martyall/shapeless
martyall/datalog
fork of haskell datalog
martyall/haskell-opaleye
martyall/purescript-haxl
purescript implementation of the haxl paper
martyall/sol-dll
Doubly-linked list in Solidity
martyall/gitchain
martyall/purescript-react-explore
Experiments with comonads for modelling React UIs
martyall/relay-api
martyall/hs-abci
Haskell Tendermint Interface
martyall/selda
A type-safe, high-level SQL library for Haskell
martyall/web3.js
Ethereum JavaScript API
martyall/fraxl
martyall/coq-sandbox
martyall/documentation
Documentation for the PureScript language, compiler, and tools.
martyall/merged-tuples
martyall/purescript-monadic-streams
martyall/purescript-thermite
A simple PureScript wrapper for React
martyall/data