Pinned Repositories
advent-of-hoon-2022
DeadfrenzAttack
A reentrancy attack on the Deadfrenz Lab Pass contract
k-spacemacs-layer
Spacemacs layer providing K support.
masterpass
Cretes a strong master password by selecting random words and inserting special characters into them.
pizza
A script for generating a random list of pizza ingredients (in Swedish)
wiki
An extended brain of misc knowledge
wyvern-dao-ui
Simple interface for getting an overview of open proposals and their status.
knock
Nock semantics in K
wasm-semantics
A Prototype Formal Semantics of WebAssembly in K
hjorthjort's Repositories
hjorthjort/DeadfrenzAttack
A reentrancy attack on the Deadfrenz Lab Pass contract
hjorthjort/wiki
An extended brain of misc knowledge
hjorthjort/wyvern-dao-ui
Simple interface for getting an overview of open proposals and their status.
hjorthjort/advent-of-hoon-2022
hjorthjort/k-spacemacs-layer
Spacemacs layer providing K support.
hjorthjort/masterpass
Cretes a strong master password by selecting random words and inserting special characters into them.
hjorthjort/advent-of-code-2021
hjorthjort/advent2019
hjorthjort/advent2020
Advent of Code 2020
hjorthjort/core-academy-2023
hjorthjort/cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
hjorthjort/EIPs
The Ethereum Improvement Proposal
hjorthjort/elrond-go-scripts-v2
Second iteration of node deploy scripts
hjorthjort/elrond-wasm-rs
Rust smart contract library designed for Elrond's Arwen VM. Also provides a debugging mode with mocks.
hjorthjort/ethstatus
Get your Ethereum and token balances as a simple script, suitable as a console start script.
hjorthjort/hjorthjort.github.io
hjorthjort site
hjorthjort/k
K Framework Tools 5.0
hjorthjort/k-editor-support
Plugin files for editing K files
hjorthjort/k-vs-coq-language-frameworks
hjorthjort/openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
hjorthjort/pandoc-templates
Templates for pandoc, tagged to release
hjorthjort/prezto
The configuration framework for Zsh
hjorthjort/rust-libp2p
The Rust Implementation of the libp2p networking stack.
hjorthjort/sc-delegation-rs
Smart contract for managing staking delegation in Elrond.
hjorthjort/solidity
Solidity, the Smart Contract Programming Language
hjorthjort/solpacker
hjorthjort/urbit
An operating function
hjorthjort/urbit.org
The source for urbit.org
hjorthjort/watchexec
Executes commands in response to file modifications
hjorthjort/Yul-Isabelle
Isabelle semantics for the Yul language