Popular repositories Loading

1. Behavior.jl Behavior.jl Public

   Tool for Behavior Driven Development in Julia

   Julia 25 3

2. ObsoloeteCoffeeMachine.jl ObsoloeteCoffeeMachine.jl Public

   A pretend coffee machine, as example code for ExecutableSpecifications.jl

   Julia 1

3. behaviour behaviour Public

   Forked from typedb/typedb-behaviour

   Grakn's Formal Verification System

   Gherkin 1

4. aoc2016 aoc2016 Public

   Advent of Code, 2016, http://adventofcode.com

   Python

5. glowing-sceptre glowing-sceptre Public

   My Cryptopals solutions in C++.

   C++

6. presentations presentations Public

   Collecting presentations I'm doing for work and others

   HTML