Pinned Repositories
aspectator
base-model
First level of the Event-B specification of the HIMACF model (with role-based access control)
cif
clade
Clade is a tool for extracting information about software build process and source code
cvehound
Check linux sources dump for known CVEs.
dafny
Dafny is a verification-aware programming language
eventb-models
Collection of various Event-B models
eventb-to-txt
Event-B to txt converter
cap9-spec
Formal specification of the Cap9 kernel
klever
Read-only mirror of the Klever Git repository
17451k's Repositories
17451k/clade
Clade is a tool for extracting information about software build process and source code
17451k/eventb-to-txt
Event-B to txt converter
17451k/eventb-models
Collection of various Event-B models
17451k/base-model
First level of the Event-B specification of the HIMACF model (with role-based access control)
17451k/aspectator
17451k/cif
17451k/cvehound
Check linux sources dump for known CVEs.
17451k/dafny
Dafny is a verification-aware programming language
17451k/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
17451k/homebrew-prob
Homebrew tap to install the ProB model checker and animator.
17451k/kartographer
[Deprecated - replaced by Clade] Kartographer is designed to build a callgraph of the Linux kernel for a given configuration. It also collects information about macros, function pointers, object and source files. Besides the Linux kernel, Kartographer can be used in other projects written in C.
17451k/lets-prove-leftpad
Proving leftpad correct in a dozen different ways
17451k/nvim-treesitter
Nvim Treesitter configurations and abstraction layer
17451k/POCleaner
Plug-in for Rodin that provides means to remove proofs from proof obligations.
17451k/rodin-b-sharp-smt
Forked from https://sourceforge.net/p/rodin-b-sharp/smt/ci/master/tree/
17451k/rodincore
Forked from https://sourceforge.net/p/rodin-b-sharp/rodincore/ci/master/tree/
17451k/solver-builds
Build infrastructure for solvers to use with Dafny (and other Boogie clients)