Verified Systems Engineering Lab (@verse-lab)
Guthub

verse-lab

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    279
  • Global Org. Rank 33,686 (Top 11 %)
  • Followers 2
  • Registered almost 4 years ago
  • Most used languages
    Coq     37.5 %
    OCaml
         25.0 %
    Java
         12.5 %
    Rust
         12.5 %
    TeX
         12.5 %
  • Location πŸ‡ΈπŸ‡¬ Singapore
  • Country Total Rank 582
  • Country Ranking
    Coq     1
    OCaml
         3
    TeX
         108
    Rust
         144
    Java
         555

Top repositories

1

ceramist

Verified hash-based AMQ structures in Coq
Coq
122
star
2

toychain

A minimalistic blockchain consensus implemented and verified in Coq
Coq
111
star
3

ego

EGraphs in OCaml
OCaml
56
star
4

rem

Contributing the `extract method` refactoring for Rust.
Rust
4
star
5

hippodrome

An automatic program repair tool for data races in Java programs.
Java
4
star
6

sisyphus

Mostly Automated Proof Repair for Verified Libraries
OCaml
4
star
7

fun-SuSLik

OOPSLA draft
TeX
2
star
8

coq-lgtm

Framework for Hyper-safety proofs about structured data
Coq
1
star