konnov/tlaplus-highlightjs konnov/tlaplus-highlightjs

  • Stars
    star
    1
  • Language
    JavaScript
  • License
    MIT License
  • Created 10 months ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
konnov/tlaplus-highlightjs
github

konnov

Reviews

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

Repository Details

Syntax highlighting for TLA+ in highlightjs

More Repositories

1

bymc

Byzantine model checker
C
20
star
2

fault-tolerant-benchmarks

Fault-tolerant distributed algorithms encoded in a formal language
F*
13
star
3

protocols-made-fun

Protocols made fun: Igor's blog
HTML
6
star
4

tlaki

TLAki: Little cute typed definitions in TLA+
TLA
5
star
5

apalache-examples

Examples of efficiently using Apalache
TLA
2
star
6

apalache-blog

Using TLA+ and Apalache
1
star
7

konnov.github.io

Igor Konnov's page
HTML
1
star