Giters
petrosyh

petrosyh

Geek Repo

3

followers

15

following

23

stars

Github PK Tool:Github PK Tool

petrosyh's repositories

ga-project

Language:C++Stargazers:1Issues:2Issues:0

CCR

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

CompCert

The CompCert formally-verified C compiler

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

CompCertM

Language:CoqStargazers:0Issues:1Issues:0

CompCertR

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

dsss18

Lecture material for DeepSpec Summer School 2018

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

hafnium-verification

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:2Issues:0

InteractionTrees

Formalization of the Interaction Tree Datatype in Coq

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

intptr_cast

2017 Internship: Implementing a C Memory Model Supporting Int-Ptr Casts in CompCert

Language:TeXStargazers:0Issues:3Issues:0

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXLicense:NOASSERTIONStargazers:0Issues:2Issues:0

PAhomeworks

Program Analysis class in 2017 Spring

Language:OCamlStargazers:0Issues:2Issues:0

rust-practice

Language:RustStargazers:0Issues:2Issues:0

seminar-template

Language:TeXStargazers:0Issues:0Issues:0

sf201802

컴퓨터 신기술 특강

Language:HTMLStargazers:0Issues:0Issues:0

SF_BOOK

Language:HTMLStargazers:0Issues:2Issues:0

sflib

Language:CoqStargazers:0Issues:2Issues:0

todo_backend_example

Language:PythonStargazers:0Issues:2Issues:0

todo_front_example

Language:JavaScriptStargazers:0Issues:0Issues:0

UniMath

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

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

VST

Verified Software Toolchain

License:NOASSERTIONStargazers:0Issues:0Issues:0