arquintl Goto Github PK

d3-dag

Layout algorithms for visualizing directed acyclic graphs

d3-dag-example

Example for d3-dag

eth-cil-exam-summary

Exam summary for Computational Intelligence Lab, ETH Zurich, SS18

gobra

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

lifx-c-lib

LIFX LAN C Library

lifxkit

The LIFX SDK for Objective-C.

locate-java-home

Locates JAVA_HOME on any platform, and can differentiate between different versions.

modern-resume-theme

A modern static resume template and theme. Powered by Jekyll and GitHub pages.

node

Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:

papercite

Bibtex plugin for wordpress

sae_project_2_tests

A set of tests to test your implementation of a symbolic execution engine

silicon

Symbolic-execution-based verifier for the Viper intermediate verification language.

tamarin-prover

Main source code repository of the Tamarin prover for security protocol verification.

ts-md5

Type Script MD5 implemenation

typedoc-webpack-plugin

This is a plugin for the Webpack build system that will run Typedoc in order to generate API documentation.

viperserver

HTTP server that manages verification requests to different tools from the Viper tool stack.

vs-verification-toolbox

Useful component to build VS Code extensions for verifiers.

ymitscompetition