Rikard Hjort's repositories
DeadfrenzAttack
A reentrancy attack on the Deadfrenz Lab Pass contract
wyvern-dao-ui
Simple interface for getting an overview of open proposals and their status.
k-spacemacs-layer
Spacemacs layer providing K support.
masterpass
Cretes a strong master password by selecting random words and inserting special characters into them.
advent2020
Advent of Code 2020
cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
elrond-go-scripts-v2
Second iteration of node deploy scripts
elrond-wasm-rs
Rust smart contract library designed for Elrond's Arwen VM. Also provides a debugging mode with mocks.
hjorthjort.github.io
hjorthjort site
k
K Framework Tools 5.0
k-editor-support
Plugin files for editing K files
openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
pandoc-templates
Templates for pandoc, tagged to release
rust-libp2p
The Rust Implementation of the libp2p networking stack.
sc-delegation-rs
Smart contract for managing staking delegation in Elrond.
solidity
Solidity, the Smart Contract Programming Language
urbit
An operating function
urbit.org
The source for urbit.org
watchexec
Executes commands in response to file modifications
Yul-Isabelle
Isabelle semantics for the Yul language