accxev

accxev's Stars

• camaral/gatling-smtp

  Write performance tests for SMTP Servers using Gatling

  Language:Shell41

• fu-dietersheim/Blockchain

  A verified permissioned centralized Blockchain for Isabelle/HOL

  Language:Isabelle116

• cryptica/tensidedcoin

  Blog über Materialien und Experimente aus diversen Rollenspielsystemen, Brettspiele u.v.m.

  Language:Haskell1

• MedeaMelana/Magic

  Haskell implementation of Magic: The Gathering

  Language:Haskell11122

• Leonidas-from-XIV/tum-manpages

  manpages of folks at TUM

  Language:Makefile911