Pinned Repositories
alloystar
Unofficial copy of the Alloy* tool's source code (http://alloy.mit.edu/alloy/hola/)
android-search-and-stories
DuckDuckGo Search & Stories for Android
aoc-2022
cerberus-mdd
Cerberus C semantics
cn-tutorial-mdd
connectbot
ConnectBot is the first SSH client for Android.
distributed-protocol-models
jstar-old
jStar is a verification tool based on separation logic.
starling-tool
An automatic verifier for concurrent algorithms.
stellite-tool
A tool for verifying C/C++ program transformations. Based on Alloy.
septract's Repositories
septract/jstar-old
jStar is a verification tool based on separation logic.
septract/starling-tool
An automatic verifier for concurrent algorithms.
septract/stellite-tool
A tool for verifying C/C++ program transformations. Based on Alloy.
septract/alloystar
Unofficial copy of the Alloy* tool's source code (http://alloy.mit.edu/alloy/hola/)
septract/android-search-and-stories
DuckDuckGo Search & Stories for Android
septract/aoc-2022
septract/cerberus-mdd
Cerberus C semantics
septract/cn-tutorial-mdd
septract/connectbot
ConnectBot is the first SSH client for Android.
septract/distributed-protocol-models
septract/facc-workshop
A Bootstrap 4 start up project for Github Pages and Jekyll
septract/focus-android
Firefox Focus: The privacy browser - Browse like no one’s watching.
septract/infer
A static analyzer for Java, C, C++, and Objective-C
septract/k-9
K-9 Mail – Advanced Email for Android 📧
septract/latex-commenting
A LaTeX package for commenting multi-author documents
septract/rs_training
septract/septract.github.io
septract/Simple-Calendar
A simple calendar with events, customizable widget and no ads.