xieyuheng github.io

xieyuheng 謝宇恆

Xieyuheng is a language designer,. Github https github.comxieyuheng. Email xyheme at gmail dot com. Irc cicada-language at freenode. Function compose, type cut, and the algebra of logic. X2013; for the ICFP 2016 at Nara. At1 a language for algebraic topology. X2013; a prototype logic language with type system. X2013; a low-level untyped language. X2013; a prototype functional language. Which uses sequent calculus as its dependent type system. X2013; dsl embedded in js. By Max Dehn, 1938.
traffic

OVERVIEW

The site xieyuheng.github.io presently has a traffic classification of zero (the lower the more traffic). We have crawled three pages within the web page xieyuheng.github.io and found two websites referencing xieyuheng.github.io.
Pages Parsed
3
Links to this site
2

XIEYUHENG.GITHUB.IO TRAFFIC

The site xieyuheng.github.io is seeing variant levels of traffic for the duration of the year.
Traffic for xieyuheng.github.io

Date Range

1 week
1 month
3 months
This Year
Last Year
All time
Traffic ranking (by month) for xieyuheng.github.io

Date Range

All time
This Year
Last Year
Traffic ranking by day of the week for xieyuheng.github.io

Date Range

All time
This Year
Last Year
Last Month

LINKS TO XIEYUHENG.GITHUB.IO

the little language designer

SZDIY maker space of China Shenzhen 2015. 講授 小蟬 的實現 輔以 計算機構架 的知識. SUN YAT-SEN university of China Guangzhou 2015. The course is based on cicada-nymph. And some helper-material about architecture is contained. Please visit our organization on github.

WHAT DOES XIEYUHENG.GITHUB.IO LOOK LIKE?

Desktop Screenshot of xieyuheng.github.io Mobile Screenshot of xieyuheng.github.io Tablet Screenshot of xieyuheng.github.io

XIEYUHENG.GITHUB.IO SERVER

We found that the main root page on xieyuheng.github.io took fourteen thousand four hundred and seventy milliseconds to come up. Our web crawlers identified a SSL certificate, so in conclusion our crawlers consider this site secure.
Load time
14.47 sec
SSL
SECURE
IP
151.101.40.133

SERVER SOFTWARE

We discovered that xieyuheng.github.io is weilding the GitHub.com operating system.

SITE TITLE

xieyuheng 謝宇恆

DESCRIPTION

Xieyuheng is a language designer,. Github https github.comxieyuheng. Email xyheme at gmail dot com. Irc cicada-language at freenode. Function compose, type cut, and the algebra of logic. X2013; for the ICFP 2016 at Nara. At1 a language for algebraic topology. X2013; a prototype logic language with type system. X2013; a low-level untyped language. X2013; a prototype functional language. Which uses sequent calculus as its dependent type system. X2013; dsl embedded in js. By Max Dehn, 1938.

PARSED CONTENT

The site had the following in the web page, "Xieyuheng is a language designer,." I observed that the web site stated " Email xyheme at gmail dot com." They also stated " Irc cicada-language at freenode. Function compose, type cut, and the algebra of logic. X2013; for the ICFP 2016 at Nara. At1 a language for algebraic topology. X2013; a prototype logic language with type system. X2013; a low-level untyped language. X2013; a prototype functional language. Which uses sequent calculus as its dependent type system. X2013; dsl embedded in js. By Max Dehn, 1938."

SEE MORE WEB PAGES

Due Process, Explained

Friday, August 8, 2014. The subject of teacher tenure and teacher unions has recently been a recurring topic on your show, The View. The tenure system facilitates teacher voice in support of students, innovations in our classrooms, creativity and collaboration between educators and ou.

Washington-Ink Master Tatt - DeviantArt

This is the place where you can personalize your profile! By moving, adding and personalizing widgets.

GSouza Glad DSouza - DeviantArt

This is the place where you can personalize your profile! By moving, adding and personalizing widgets.

Krucifiks Nathan Martin - DeviantArt

This is the place where you can personalize your profile! You can drag and drop to rearrange.

senate Hop!Hop!Mr B - DeviantArt

Topaz killed the Photoshop star. Topaz killed the Photoshop star.