Giters
Jaehyung Lee (hilyun07)

hilyun07

Geek Repo

4

followers

6

following

15

stars

Location:Seoul, Republic of Korea

Github PK Tool:Github PK Tool

Jaehyung Lee's repositories

CCR

Language:CoqLicense:MITStargazers:0Issues:0Issues:0

CompCert

The CompCert formally-verified C compiler

Language:CoqLicense:NOASSERTIONStargazers:0Issues:0Issues:0

etcd-io_raft

Raft library for maintaining a replicated state machine

Language:GoLicense:Apache-2.0Stargazers:0Issues:0Issues:0

graduation-project

Language:CoqStargazers:0Issues:1Issues:0

opam

Archive for all Coq related OPAM packages organized in various repositories

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

sf-opam-coq-archive

Stargazers:0Issues:0Issues:0