@vasil-sd
github

vasil-sd

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    175
  • Global Rank 136,737 (Top 5 %)
  • Followers 34
  • Following 2
  • Registered over 13 years ago
  • Most used languages
    Alloy     28.6 %
    Ada
         14.3 %
    OCaml
         14.3 %
    Shell
         14.3 %
    C++
         14.3 %
    Shen     14.3 %

Top repositories

1

shen-libs

Shen experimental libraries
Shen
147
star
2

engineering-sw-hw-model-checking-letures

Lectures in MIPT: intro to engineering software using model-checking.
Alloy
16
star
3

ada-tlsf

Verified TLSF allocator in Ada/SPARK
Ada
3
star
4

lalambda2021

Presentation for workshop for summer school of formal methods, model-checking and FP - Lalambda2021
3
star
5

ocaml-ba

Ocaml library for Buchi automata
OCaml
2
star
6

plantuml-pdf-math

Shell
1
star
7

compgraph

graph of computation
Alloy
1
star
8

cpp_comb_parsers

Simple C++ combinatiorial parsers
C++
1
star