Pinned Repositories
ada-tlsf
Verified TLSF allocator in Ada/SPARK
compgraph
graph of computation
cpp_comb_parsers
Simple C++ combinatiorial parsers
drakon_editor
DRAKON Editor
engineering-sw-hw-model-checking-letures
Lectures in MIPT: intro to engineering software using model-checking.
lalambda2021
Presentation for workshop for summer school of formal methods, model-checking and FP - Lalambda2021
ocaml-ba
Ocaml library for Buchi automata
plantuml-pdf-math
shen-libs
Shen experimental libraries
vasil-sd's Repositories
vasil-sd/shen-libs
Shen experimental libraries
vasil-sd/engineering-sw-hw-model-checking-letures
Lectures in MIPT: intro to engineering software using model-checking.
vasil-sd/ada-tlsf
Verified TLSF allocator in Ada/SPARK
vasil-sd/lalambda2021
Presentation for workshop for summer school of formal methods, model-checking and FP - Lalambda2021
vasil-sd/compgraph
graph of computation
vasil-sd/cpp_comb_parsers
Simple C++ combinatiorial parsers
vasil-sd/plantuml-pdf-math
vasil-sd/alloy_automata
generic module for implementing automata in Alloy
vasil-sd/Alloy_list
vasil-sd/cpp_restart_case
Alternative way to hanlde exceptional conditions in code
vasil-sd/cpp_rpc
Simple lightweight rpc for C++17
vasil-sd/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
vasil-sd/fsm_gen
C-code FSM generator from YAML specifications
vasil-sd/k
K Framework Tools 5.0
vasil-sd/literate-rtl
Literate RTL based on Emacs org-mode + OCaml HardCaml
vasil-sd/md4litprog
Markdown for literate programming
vasil-sd/nixpkgs
Nix Packages collection & NixOS
vasil-sd/ocaml-bits
vasil-sd/ocaml-rest-server
vasil-sd/ocaml-statespace
Simple library to deal with search in state space
vasil-sd/org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
vasil-sd/parasl-semantics
A formal semantics for parasl experimental language
vasil-sd/pp
PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...
vasil-sd/pygments-alloy
Syntax highlighting for Alloy
vasil-sd/rendezvous-protocol
vasil-sd/symbolic-execution
Some intro into symbolic execution using K-framework and z3
vasil-sd/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
vasil-sd/understanding-k-framework
vasil-sd/v2-tlapm
The rewrite of TLAPM, the TLAPS proof manager
vasil-sd/verilator
Verilator open-source SystemVerilog simulator and lint system