Lists (12)
Android
Author
Repositories I'm original author of.17 repositories
Contributing
Projects where I am active contributor or have contributed.8 repositories
Crypto / Blockchain
Blockchain projects and crypto tools I use, used or experimented.18 repositories
Experimented
Code bases I have experimented with, but most likely not using actively.187 repositories
GIOUI
https://gioui.org1 repository
Media toolchain
Audio, video and image, WebGL, XR manipulation libraries and tools I have used or use regularly.37 repositories
other
2 repositories
Starred repositories
8
stars
written in Haskell
Clear filter
ShellCheck, a static analysis tool for shell scripts
The core component that is used to participate in a Cardano decentralised blockchain.
The Plutus language implementation and tools
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the nat…
Implementation of the Hydra Head protocol
The ledger implementation and specifications of the Cardano blockchain.
Language-generic workbench for building static analysis