hjorthjort Goto Github PK

hjortcoin

Exploring Solidity and Dapps

hjorthjort.github.io

hjorthjort site

homebrew-hjort

brew repo for the pizza script

hsnip

snippet tool written in Haskell

idristoagda

A master thesis project implementing a Idris to Agda transpiler.

irma

All your technical support in a singel phone number, thanks to the power of crowdsourcing. A Junction Hackathon submission

itera

A test of three different anagram-finding algorithms and their relative performance under various conditions

k

K Framework Tools 5.0

k-editor-support

Plugin files for editing K files

k-spacemacs-layer

Spacemacs layer providing K support.

k-vs-coq-language-frameworks

kaleidoscope

Haskell LLVM Kaleidoscope Tutorial

klab

K framework proof explorer & smart contract specification format

listr

A simple tool to list directory contents

masterpass

Cretes a strong master password by selecting random words and inserting special characters into them.

meteor-stack

A stack app

midibeat

muni

A web app for generating slick, convincing ads for Swedish municipalities. A Hack4Sweden project.

nihonjinflector

Practice tool for Japanese verb inflections.

oopf_lab_2

Geometri

openzeppelin-contracts

OpenZeppelin Contracts is a library for secure smart contract development.

pandoc-templates

Templates for pandoc, tagged to release

pizza

A script for generating a random list of pizza ingredients (in Swedish)

poet

Poetry algorithm

polkadot-verification

Verification of Polkadot WASM code

presens

Hackathon

prezto

The configuration framework for Zsh

python-totp

Python code to generate RFC6238 (+non-standard variations thereof) TOTP-tokens

quiz

A randomized property testing library for Hoon.

rekryt

Wordpress Theme for Chalmers Rekryt Group