hanssv
Follow
-
-
ec_utils Public
Elliptic curve utilility functions in pure Erlang
-
-
-
ramjet Public
Forked from eproxus/ramjetload testing with sessions in erlang
-
vimish-fold Public
Forked from matsievskiysv/vimish-foldVim-like text folding for Emacs
Emacs Lisp UpdatedSep 18, 2018 -
gproc Public
Forked from uwiger/gprocExtended process registry for Erlang
-
test_erlang Public
Forked from ThomasArts/test_erlangQuickCheck tests for an Erlang distribution
Erlang Other UpdatedMar 20, 2017 -
-
C_tutorial Public
Forked from ThomasArts/C_tutorialFiles for tutorial testing C programs with QuickCheck
Erlang MIT License UpdatedNov 3, 2015 -
-
-
-
Smother Public
Forked from ramsay-t/SmotherExtended code coverage metrics for Erlang.
Erlang UpdatedApr 29, 2014 -
wrangler Public
Forked from RefactoringTools/wranglerImport of the Wrangler svn repository.
Erlang Other UpdatedMar 24, 2014 -
McErlang Public
Forked from fredlund/McErlangThe McErlang model checker for Erlang
-
gen_leader_revival Public
Forked from KirinDave/gen_leader_revivalA project to unify various implementations of the Erlang library gen_leader into a modern, robust single implementation
-
Erlang-LTL2Buchi Public
An Erlang implementation of an LTL-to-Büchi translator.
Erlang UpdatedJul 10, 2009