Giters
Weixin Zhang (wxzh)

wxzh

Geek Repo

28

followers

17

following

9

stars

Home Page:http://wxzh.github.io

Github PK Tool:Github PK Tool

Weixin Zhang's repositories

CP

A language for Compositional Programming

Language:HaskellLicense:BSD-3-ClauseStargazers:5Issues:2Issues:0

Castor

Language:ScalaStargazers:2Issues:1Issues:0

EVF

Language:OCamlStargazers:2Issues:1Issues:0

fj

Featherweight Java in Object Algebras

Language:JavaStargazers:2Issues:1Issues:0

tapl-java

Code of "Types and Programming Languages" book in Java

Language:JavaStargazers:2Issues:1Issues:0

shallow-dsl

Shallow Embedded Domain Specific Languages in Scala

Language:TeXStargazers:1Issues:0Issues:0

cats

Lightweight, modular, and extensible library for functional programming.

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

fcore

Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding

Language:HaskellLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

partition-checking

Language:HaskellStargazers:0Issues:0Issues:0

training-day

Language:ClojureStargazers:0Issues:1Issues:0

wxzh.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Language:CSSStargazers:0Issues:0Issues:0