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,185 (Top 11 %)
  • Followers 2
  • Registered over 3 years ago
  • Most used languages
    Coq     37.5 %
    OCaml
         25.0 %
    Java
         12.5 %
    TeX
         12.5 %
    Rust
         12.5 %
  • Location 🇸🇬 Singapore
  • Country Total Rank 582
  • Country Ranking
    Coq     1
    OCaml
         3
    TeX
         104
    Rust
         146
    Java
         566

Top repositories

1

ceramist

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

toychain

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

ego

EGraphs in OCaml
OCaml
55
star
4

hippodrome

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

rem

Contributing the `extract method` refactoring for Rust.
Rust
3
star
6

fun-SuSLik

OOPSLA draft
TeX
2
star
7

sisyphus

Mostly Automated Proof Repair for Verified Libraries
OCaml
1
star
8

coq-lgtm

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