Pinned Repositories
awesome-unikernels
A list about Unikernels
branstock
Reusable gradle configurations
continuous-delivery
Thoughts on continuous delivery
hoverfly
Lightweight service virtualization/API simulation tool for developers and testers
hoverfly-java
Java binding for Hoverfly
JPC
JPC - The fast x86 PC emulator in 100% pure Java
RobotDemo
Robot Framework demo
test
vali
Solutions for C Programming, A Modern Approach
kalorie's Repositories
kalorie/awesome-unikernels
A list about Unikernels
kalorie/branstock
Reusable gradle configurations
kalorie/continuous-delivery
Thoughts on continuous delivery
kalorie/hoverfly
Lightweight service virtualization/API simulation tool for developers and testers
kalorie/hoverfly-java
Java binding for Hoverfly
kalorie/JPC
JPC - The fast x86 PC emulator in 100% pure Java
kalorie/RobotDemo
Robot Framework demo
kalorie/test
kalorie/vali
Solutions for C Programming, A Modern Approach
kalorie/verdi
A framework for formally verifying distributed systems implementations in Coq
kalorie/verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework