Giters
Tim Cherganov (timcherganov)

timcherganov

Geek Repo

0

followers

0

following

5

stars

Github PK Tool:Github PK Tool

Tim Cherganov's starred repositories

VST

Verified Software Toolchain

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

CompCert

The CompCert formally-verified C compiler

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

agda2hs

Compiling Agda code to readable Haskell

Language:AgdaLicense:MITStargazers:172Issues:0Issues:0

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

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

cubical

An experimental library for Cubical Agda

Language:AgdaLicense:NOASSERTIONStargazers:443Issues:0Issues:0