Renovator's repositories
awesome-idris
𝛌 Awesome Idris resources
bitbox-sdk
BITBOX SDK for Bitcoin Cash
blueprint-box
All you need to get started making your own Truffle Box!
blzjs
Javascript client library for Bluzelle Service
bs-web3
Web3 bindings in Reason
constantinople-reentrancy
Vulnerable code example including tests for Constantinople Reentrancy
cpdt
Exercises from CPDT
dashboard
Gateway UI / DPoS UI / Karma UI dashboard
ECC-OCaml
Elliptic Curves Cryptography for OCaml
linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
logical-foundations
Committing my progress through Benjamin Pierce's Logical Foundations
phoenix
My Phoenix setup. Powerful, easy to customize, tuned for web development, adds a space switcher.
reason-react-example
Examples for ReasonReact
rofi
Rofi: A window switcher, application launcher and dmenu replacement
test-codestar
GitHub repository for AWS CodeStar Go web application test-codestar.
tezoscoq
working with coq and tezos
vim-haskellConceal
Conceal operator for haskell