Giters
Cui Zewen (CuiZewen)

CuiZewen

Geek Repo

5

followers

19

following

76

stars

Location:Nanjing

Github PK Tool:Github PK Tool

Cui Zewen's starred repositories

eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs

Language:IsabelleLicense:NOASSERTIONStargazers:235Issues:0Issues:0

coq-irrat2

Proof that sqrt(2) is irrational in Coq.

Language:HTMLStargazers:8Issues:0Issues:0

flypitch

A formal proof of the independence of the continuum hypothesis

Language:LeanLicense:Apache-2.0Stargazers:115Issues:0Issues:0

analysis

Mathematical Components compliant Analysis Library

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

learn-programming-languages

Resources for the working programmer to learn more about the fundamentals and theory of programming languages.

Stargazers:328Issues:0Issues:0

nice-parser

Nice parsers in OCaml without the boilerplate

Language:OCamlLicense:MITStargazers:125Issues:0Issues:0

semantics

A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abstract interpretation [maintainer=@k4rtik]

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

CnC_Remastered_Collection

Language:C++License:NOASSERTIONStargazers:18313Issues:0Issues:0

awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

Stargazers:2774Issues:0Issues:0

http-parser

http request/response parser for c

Language:CLicense:MITStargazers:6315Issues:0Issues:0

sparrow

郑钢《自制编程语言》随书源码及读书笔记

Language:CStargazers:229Issues:0Issues:0

metacoq

Metaprogramming, verified meta-theory and implementation of Coq in Coq

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

CompCert

The CompCert formally-verified C compiler

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

iron

Coq formalizations of functional languages.

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

tapl-scala

Code from the book "Types and Programming Languages" in Scala

Language:ScalaStargazers:175Issues:0Issues:0

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

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

SF-zh

《软件基础》中译版 Software Foundations Chinese Translation

Language:HTMLStargazers:917Issues:0Issues:0

yin

the Yin programming language

Language:JavaLicense:AGPL-3.0Stargazers:55Issues:0Issues:0

ulcer

a javascript-like language

Language:CLicense:Apache-2.0Stargazers:38Issues:0Issues:0

rsp3-armv8-baremetal-tutorial

基于树莓派3构建一个操作系统的系列教程

Language:C++Stargazers:11Issues:0Issues:0

larva-lang

The larva programming Language

Language:PythonLicense:GPL-3.0Stargazers:145Issues:0Issues:0

x2cc

a compiler including c++ implemented automatic grammar tools.

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

SDCN

Structural Deep Clustering Network

Language:PythonLicense:Apache-2.0Stargazers:258Issues:0Issues:0

spektral

Graph Neural Networks with Keras and Tensorflow 2.

Language:PythonLicense:MITStargazers:2361Issues:0Issues:0

DeOldify

A Deep Learning based project for colorizing and restoring old images (and video!)

Language:PythonLicense:MITStargazers:17875Issues:0Issues:0

lms-clean

Language:ScalaLicense:BSD-3-ClauseStargazers:53Issues:0Issues:0

verifast-exercises

[WIP] My solutions for Verifast tutorial exercises

Language:CLicense:MITStargazers:2Issues:0Issues:0

verifast-frama-c

C algorithms verified with frama-c and verifast

Language:TeXStargazers:2Issues:0Issues:0

verifast-play

Experiments in using VeriFast verification tool

Language:CLicense:BSD-3-ClauseStargazers:6Issues:0Issues:0

scala-iot-modules-for-frp

Language:CStargazers:3Issues:0Issues:0