-
dsss17 Public
Forked from DeepSpec/dsss17Lecture material for DeepSpec Summer School 2017
Coq UpdatedJul 22, 2017 -
-
-
range-v3 Public
Forked from ericniebler/range-v3Experimental range library for C++11/14/17
C++ Other UpdatedJul 13, 2016 -
-
-
-
swift-es Public
Translate Swift to ECMAScript
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 7, 2016 -
-
-
-
indescript Public
a toy functional compiler
-
-
-
-
Indescript: type system practice
Haskell UpdatedDec 24, 2015 -
fa15-linear-algebra Public
Assignments of MATH 31AH@UCSD, Fall 2015
TeX Creative Commons Attribution 4.0 International UpdatedDec 14, 2015 -
-
hskribo Public
A markup language written in Haskell DSL, inspired by Skribilo
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 3, 2015 -
aata Public
Forked from twjudson/aataPublic repository for Abstact Algebra Theory and Applications
HTML Other UpdatedNov 10, 2015 -
-
ImplFP Public
My reading “notes” of “Implementing Functional Languages, A Tutorial” by SPJ.
Haskell MIT License UpdatedJun 26, 2015 -
FPearls Public
My reading “notes” of “Pearls of Functional Algorithm Design”.
-
web.haskell.ideas Public
A collection of my ideas on Web development, implemented in Haskell.
Haskell UpdatedMay 25, 2015 -
-
-
OL.cn Public
Resource about Linguistics Olympiad in Mandarin written with Simplified Chinese
-
static Public
Forked from staticfile/static开放静态文件 - 为开源库稳定、快速的免费 CDN 服务
JavaScript Other UpdatedJan 20, 2015 -
-
SHS.Web Public
Generate a subset of Source Han Sans as web font
{{ message }}