Shengyi Wang (txyyss)

txyyss

Geek Repo

Location:Beijing

Github PK Tool:Github PK Tool

Shengyi Wang's repositories

Lambda-Calculus

An introduction to lambda calculus in Chinese, including an interpreter in Haskell.

FormalMath

A side project about formalization of mathematics.

Language:CoqStargazers:6Issues:2Issues:0

polylink

A Blender Addon

Language:PythonStargazers:6Issues:2Issues:0

Project-Euler

Solutions for Project Euler

Language:HaskellStargazers:6Issues:3Issues:0

GridMaze-Algorithm

Description of the algorithms used in my app GridMaze

H-99

My solutions to "Ninety-Nine Haskell Problems"

Language:HaskellStargazers:2Issues:2Issues:0

Surreal-Number

My note and programs about surreal number created by John Horton Conway

Language:HaskellStargazers:2Issues:2Issues:0

Symmetries-of-Things

Notes about "The Symmetries of Things"

EmacsSettings

My Emacs Settings

Language:Emacs LispStargazers:1Issues:2Issues:0

Regular-Polytopes

Notes about Coxeter's "Regular Polytopes"

cdf-mech-sem

Coq development for the course "Mechanized semantics", Collège de France, 2019-2020

Language:CoqLicense:LGPL-2.1Stargazers:0Issues:1Issues:0

company-coq

A Coq IDE build on top of Proof General's Coq mode

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues: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:0Issues:0Issues:0

Hyperbolic-Tiling

Introduction and Code about Hyperbolic Tilings

Language:GAPLicense:GPL-3.0Stargazers:0Issues:1Issues:0

LovePoints

Animations for Valentine's Day

License:MITStargazers:0Issues:1Issues:0
Language:OCamlStargazers:0Issues:3Issues:0

PG

This repo is the new home of Proof General

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0

tron-legacy-emacs-theme

Original retro-futuristic theme inspired by Tron: Legacy

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0

VST

Verified Software Toolchain

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