mixis

Pinned Repositories

AMDSEV
AMD Secure Encrypted Virtualization
Language:Shell344 34 25499
Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell3.5k 112 2.3k634
AMDSEV
AMD Secure Encrypted Virtualization
Language:Shell0 1 00
ceph
Ceph is a distributed object, block, and file storage platform
Language:C++0 2 00
hs-cryptohash
efficient and practical cryptohashing in haskell
Language:C1 2 00
Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell0 2 00
nixpkgs
Nix Packages collection
Language:Nix0 2 00
rebooting-the-web-of-trust-fall2016
RWOT3 in San Francisco, California
00
userNeedResearchBook
Hands-on intro to user need research
Language:CSS0 2 00
hs-cryptohash
efficient and practical cryptohashing in haskell. DEPRECATED in favor of cryptonite
Language:Haskell30 5 2724

mixis's Repositories

mixis/hs-cryptohash
efficient and practical cryptohashing in haskell
Language:C1 2 00
mixis/AMDSEV
AMD Secure Encrypted Virtualization
Language:Shell0 1 00
mixis/ceph
Ceph is a distributed object, block, and file storage platform
Language:C++0 2 00
mixis/Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell0 2 00
mixis/nixpkgs
Nix Packages collection
Language:Nix0 2 00
mixis/rebooting-the-web-of-trust-fall2016
RWOT3 in San Francisco, California
00
mixis/userNeedResearchBook
Hands-on intro to user need research
Language:CSS0 2 00