thwfhk

Wenhao Tang's repositories

PKU-Beamer-Theme

基于Metropolis修改的北大风格Beamer主题

Language:TeX23 1 1

lambdaQ

λQ: A Simple Quantum Programming Language.

Language:HaskellMIT6 20

CV-facial-filters

A term project of the course "Introduction to Artificial Intelligence - Computer Vision"

Language:Python500

lambdaSC

A Calculus for Scoped Effects and Handlers

Language:HaskellBSD-3-Clause4 10

subgraph_isomorphism

Implementations and optimization of some algorithms for the subgraph isomorphism problem.

Language:C++4 20

ics20-29

ICS seminar 29, 2020 Fall

2 30

lambdaM

LambdaM: A Simple Language with Termination Checking based on Dependent Types

Language:OCaml1 20

Shared-learning-materials

正在搭架子作为公共分享资料

100

SyGuS

Solvers for a subset of Syntax-Guided Synthesis problem.

Language:Python1 30

blog

Language:HTML020

blog_comments_utteranc

02 5

code

放一点做题的代码

Language:C++010

effects-playground

Some toy implementation from papers about algebraic effects.

Language:HaskellBSD-3-Clause000

gfwlist

The one and only one gfwlist here

LGPL-2.1010

LambdaLF

An OCaml Implementation and modification of lambdaLF - a simple lambda calculus with dependent types.

Language:OCaml020

links

Links: Linking Theory to Practice for the Web

Language:OCamlNOASSERTION000

MIT6.828-JOS

My solutions for JOS lab of MIT 6.828

Language:C000

pdf-toc-creator

为PDF文档创建目录

Language:Python010

phaser-catch-the-cat

An HTML5 game 'Catch The Cat' powered by Phaser 3

Language:TypeScriptMIT000

practice-lesson

000

QWIRE

A quantum circuit language and formal verification tool

Language:CoqNOASSERTION010

shl-popl24-artifact

Language:OCaml020

TAPL

An OCaml implementation of the book Types and Programming Languages.

Language:OCaml020