vasil-sd/compgraph vasil-sd/compgraph

  • Stars
    star
    1
  • Language Alloy
  • License
    MIT License
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vasil-sd/compgraph
github

vasil-sd

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

graph of computation

More 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

cpp_comb_parsers

Simple C++ combinatiorial parsers
C++
1
star