Verification for Security
Verification-for-Security
Contains all repositories for this Masters course given at the VU Amsterdam
Brainfuck Enterprise Solutions
bf-enterprise-solutions
Welcome to the new era of reliability
United States of America
Christoph Hegemann
kritzcreek
Passionate typed functional programmer. Member of the church of Emacs.
Germany
Bartosz Milewski
BartoszMilewski
Author of Category Theory for Programmers
Programming Cafe Paris, France
Simon Shine
sshine
Functional programmer deeply invested in strongly typed languages (Rust, Haskell), declarative infrastructure (Nix, Kubernetes, Talos)
Copenhagen, Denmark
Determinate Systems
DeterminateSystems
Bringing Nix ❄️ to the enterprise to empower fearless software delivery 💪
Everywhere
Ken Friis Larsen
kfl
Renaissance Computer Scientist.
Department of Computer Science, University of Copenhagen @diku-dk Copenhagen
Tom Smeding
tomsmeding
If I can't implement it, I don't understand it well enough.
Utrecht University
PreviousNext