Philippe Denissen's repositories
base16-syntax
A Base16 syntax theme with support for all Base16 color schemes and styles.
dafny-transpiler
This transpiler adds extremely experimental support for parallel program verification with Dafny, using the Owicki-Gries method of Axiomatic Verification.
dafny-workbench
Atom package for the program verification tool Dafny.
language-dafny
Dafny language support in Atom
linter-verification
Linter package with support for the program verification tools Dafny, Chalice and Boogie.
SoftEtherVPN
SoftEther VPN (Developer Edition Master Repository): Open Cross-platform Multi-protocol VPN Software. This repository has experimental codes. Pull requests are welcome. Also, Stable Edition is available on https://github.com/SoftEtherVPN/SoftEtherVPN_Stable which the non-developer user can stable use.
Language:CApache-2.0000