Pinned Repositories
alephium-ans
effect-handlers
implementing effect handlers by delimited continuation
eth-abi
generate scala code from solidity contract
mpt
the implementation of merkle patricia trie
notes
notes about akka and scala
TAPL
type and programming language exercise
Lbqds's Repositories
Lbqds/TAPL
type and programming language exercise
Lbqds/autosubst
Automation for de Bruijn syntax and substitution in Coq
Lbqds/cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
Lbqds/dcrd
Decred daemon in Go (golang).
Lbqds/dcrstakepool
Stakepool for Decred.
Lbqds/dcrwallet
A secure Decred wallet daemon written in Go (golang).
Lbqds/dot
formalization of the Dependent Object Types (DOT) calculus
Lbqds/epoch
æternity testnet: solving scalability problems by making sense of state-channels
Lbqds/fp-dictionary
FP category theory jargon explained on a single A4 page
Lbqds/gestalt
gestalt : portable and solid macros for Scala
Lbqds/go-ethereum
Official Go implementation of the Ethereum protocol
Lbqds/go-ipfs
IPFS implementation in Go
Lbqds/insider-akka
A book which may or may not materialize
Lbqds/macros
SCP-014 Towards production ready Scala Macros
Lbqds/mantis
A Scala based client for Ethereum Classic.
Lbqds/Metascala
A JVM written in Scala
Lbqds/openresty-systemtap-toolkit
Real-time analysis and diagnostics tools for OpenResty (including NGINX, LuaJIT, ngx_lua, and more) based on SystemTap
Lbqds/reasonable-scala
Experimental Scala compiler focused on compilation speed
Lbqds/rlp
Recursive Length Prefix (RLP) encoding
Lbqds/scala-async
An asynchronous programming facility for Scala
Lbqds/scala-continuations
the Scala delimited continuations plugin and library
Lbqds/scalameta
Your favorite language gets closer to bare meta.
Lbqds/Scorex
Scorex 2.0 Core
Lbqds/shapeless
Generic programming for Scala
Lbqds/Swarm
Lbqds/Zilliqa
Zilliqa is the world's first high-throughput public blockchain platform - designed to scale to thousands of transactions per second.