Pinned Repositories
AoC2019
Advent of Code - 2019
ec_utils
Elliptic curve utilility functions in pure Erlang
emcl
An Erlang wrapper for herumi/mcl
example_proj
A small example project
gen_leader_revival
A project to unify various implementations of the Erlang library gen_leader into a modern, robust single implementation
gproc
Extended process registry for Erlang
McErlang
The McErlang model checker for Erlang
otp
Erlang/OTP
hanssv's Repositories
hanssv/example_proj
A small example project
hanssv/AoC2019
Advent of Code - 2019
hanssv/ec_utils
Elliptic curve utilility functions in pure Erlang
hanssv/gen_leader_revival
A project to unify various implementations of the Erlang library gen_leader into a modern, robust single implementation
hanssv/emcl
An Erlang wrapper for herumi/mcl
hanssv/gproc
Extended process registry for Erlang
hanssv/McErlang
The McErlang model checker for Erlang
hanssv/otp
Erlang/OTP
hanssv/C_tutorial
Files for tutorial testing C programs with QuickCheck
hanssv/cufp_kv_eqc
Example repository for CUFP tutorial 2015
hanssv/cufp_trees
Demo repository for CUFP 2015
hanssv/Erlang-LTL2Buchi
An Erlang implementation of an LTL-to-Büchi translator.
hanssv/queue_c
hanssv/ramjet
load testing with sessions in erlang
hanssv/Smother
Extended code coverage metrics for Erlang.
hanssv/test_erlang
QuickCheck tests for an Erlang distribution
hanssv/vimish-fold
Vim-like text folding for Emacs
hanssv/wrangler
Import of the Wrangler svn repository.