Pinned 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.
tue-2io23
TU/e 2IO23 Project
tue-2io23
TU/e 2IO23 Project
OpenACCEL
The ACCEL-system is a lightweight, general-purpose modeling environment for mathematical modeling. It combines some concepts from spreadsheets, Matlab and traditional highschool mathematics.
Alchiadus's Repositories
Alchiadus/base16-syntax
A Base16 syntax theme with support for all Base16 color schemes and styles.
Alchiadus/dafny-transpiler
This transpiler adds extremely experimental support for parallel program verification with Dafny, using the Owicki-Gries method of Axiomatic Verification.
Alchiadus/dafny-workbench
Atom package for the program verification tool Dafny.
Alchiadus/language-dafny
Dafny language support in Atom
Alchiadus/linter-verification
Linter package with support for the program verification tools Dafny, Chalice and Boogie.
Alchiadus/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.
Alchiadus/tue-2io23
TU/e 2IO23 Project