Linard Arquint's repositories
d3-dag-example
Example for d3-dag
lifx-c-lib
LIFX LAN C Library
ar-go-tools
ar-go-tools (Argot) is a collection of analysis tools for Go
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.
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.
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.