Name: zypeh
Type: User
Bio: Modern Software Engineer. Classical Writer. Living in this Post-Renaissance era.
Twitter: zhengyanpeh
Location: Kuala Lumpur, Malaysia
Blog: zypeh.net
A Software Engineer based in Kuala Lumpur, Malaysia.
I am now writing compiler and shipping products.
I believe in correctness of program. Therefore, I’m studying Type Theory and Formal Verification of program in my spare time.
You can reach out to me at Twitter @zhengyanpeh and LinkedIn Zheng Yan Peh
flatparse
Fast parsing from bytestrings
flight-map
foli
Simple Behance Photo View
formality-core
Specification of the Formality proof and programming language
go-common
哔哩哔哩 bilibili 网站后台工程 源码
go-leb128
Little Endian Base 128, a variable-length code compression for arbitrarily large integer in a small number of bytes.
goloquent
Golang sequel eloquent
gridfs-locking-stream
Easily stream files to and from MongoDB GridFS with concurrency safe read/write access
hackage-server
Hackage-Server: A Haskell Package Repository
haskell-language-server
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
heaps-benchmark
hexo-theme-brutalist
R A W C O D E
hexo-toc
📖 Insert a markdown TOC before posts be rendered.
hypergrid
Yet another distributed, decentralized network
intermixture
Building a place to create, manage and learn with data.
isuzumichan
waifu assistant, telegram bot written in Nodejs
k
kaiju
keel
Keel is a programming language, aiming to make programmers more productive and feel smart.
koa-better-body
:sparkles: Full-featured koa body parser! :star2: Support parsing text, buffer, json, json patch, json api, csp-report, multipart, form and urlencoded bodies. Works for koa@1, koa@2 and will work for koa@3 with `koa-convert`. :sparkles:
langlands
lisphappily
A Happy compiler
logos
Create ridiculously fast Lexers
malodivo
When Ozymandias meets the ancient Kingdom of Malodivo
memetwork
Blog relies on github pages, and travis CI.
mmark
Strict markdown processor for writers
monetary-value
monte-carlo-bank
A bank founded in Monte Carlo. Namely MCB.
movitz
Movitz: a Common Lisp x86 development platform
multihash-hs
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
