liyishuai

Yishuai Li's repositories

coq-json

JSON in Coq

Language:CoqBSD-3-Clause1 3 4

metacoq

Metaprogramming in Coq

Language:CoqMIT1 10

actions-comment-pull-request

GitHub action to comment pull request

Language:JavaScriptMIT020

certicoq

A Verified Compiler for Gallina, Written in Gallina

Language:CoqMIT010

chinese-copywriting-guidelines

Chinese copywriting guidelines for better written communication／中文文案排版指北

MIT020

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:OCamlLGPL-2.1020

coq-ext-lib

A library of Coq definitions, theorems, and tactics.

Language:CoqBSD-2-Clause010

coq-simple-io

IO for Gallina

Language:CoqMIT010

FreeSpec

A framework for implementing and certifying impure computations in Coq

Language:CoqGPL-3.0020

github-readme-stats

:zap: Dynamically generated stats for your github readmes

MIT000

GitHubGraduation-2022

Join the GitHub Graduation Yearbook and "walk the stage" on June 11.

Language:JavaScript020

go-getting-started

Getting Started with Go on Heroku https://devcenter.heroku.com/articles/getting-started-with-go

Language:Go000

gswap

交易所

Language:HTMLAGPL-3.0030

heti

赫蹏（hètí）是专为中文内容展示设计的排版样式增强。它基于通行的中文排版规范而来，可以为网站的读者带来更好的文章阅读体验。

Language:SCSSMIT020

HTML5_Genetic_Cars

A genetic algorithm car evolver in HTML5 canvas.

Zlib000

ieaseMusic

网易云音乐第三方

Language:JavaScriptMIT010

InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

Language:CoqMIT020

liyishuai

I'm an amateur musician who occasionally codes.

WTFPL030

lngen

Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott

Language:HaskellMIT030

lsyncd

Lsyncd (Live Syncing Daemon) synchronizes local directories with remote targets

GPL-2.0000

metalib

The Penn Locally Nameless Metatheory Library

Language:CoqNOASSERTION010

oh-my-bash

A delightful community-driven framework for managing your bash configuration, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

Language:ShellMIT010