-
tlapm Public
Forked from tlaplus/tlapmThe TLA⁺ Proof Manager
OCaml BSD 2-Clause "Simplified" License UpdatedOct 14, 2025 -
kontrol Public
Forked from runtimeverification/kontrolPython BSD 3-Clause "New" or "Revised" License UpdatedSep 10, 2025 -
typhon Public
Forked from anoma/typhonFormalization of Typhon protocol
-
-
typhon-sml Public
Forked from anoma/typhon-smlTyphon reference implementation in Standard ML
Standard ML GNU General Public License v3.0 UpdatedNov 26, 2024 -
slips Public
Forked from satoshilabs/slipsSatoshiLabs Improvement Proposals
Markdown Creative Commons Attribution Share Alike 4.0 International UpdatedJan 11, 2024 -
karbyshev.github.io Public
Forked from daattali/beautiful-jekyll✨ Build a beautiful and simple website in literally minutes. Demo at https://beautifuljekyll.com
HTML MIT License UpdatedMay 26, 2020 -
portable-snippets Public
Forked from nemequ/portable-snippetsCollection of miscellaneous portable C snippets.
C Other UpdatedMay 29, 2018 -
ni-formal-gc Public
Forked from MathiasVP/ni-formal-gcCoq formalization of timing-sensitive noninterference for a garbage collected language with heap and runtime pc level.
Coq MIT License UpdatedAug 8, 2017 -
-
-
-
analyzer Public
Forked from goblint/analyzerThe goblint static analysis framework
OCaml Other UpdatedJun 13, 2013 -
{{ message }}