EPI (@epi-project)
Guthub

epi-project

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    9
  • Global Org. Rank 162,797 (Top 52 %)
  • Registered almost 4 years ago
  • Most used languages
    Rust
         50.0 %
    HTML
         50.0 %
  • Location ๐Ÿ‡ณ๐Ÿ‡ฑ Netherlands
  • Country Total Rank 12,337
  • Country Ranking
    Rust
         844
    HTML
         3,493

Top repositories

1

brane-documentation

Repository that contains the high-level documentation of the Brane framework. Written for use with mdBook.
HTML
1
star
2

policy-reasoner

Implements the famous policy reasoner, known as `checker` in Brane terminology. Builds on top of reasoners like eFLINT and meant to be queried by Brane.
Rust
1
star