Ilya Shchepetkov's repositories
eventb-to-txt
Event-B to txt converter
eventb-models
Collection of various Event-B models
base-model
First level of the Event-B specification of the HIMACF model (with role-based access control)
homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
homebrew-prob
Homebrew tap to install the ProB model checker and animator.
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.
lets-prove-leftpad
Proving leftpad correct in a dozen different ways
nvim-treesitter
Nvim Treesitter configurations and abstraction layer
rodin-b-sharp-smt
Forked from https://sourceforge.net/p/rodin-b-sharp/smt/ci/master/tree/
solver-builds
Build infrastructure for solvers to use with Dafny (and other Boogie clients)