xieyuheng.github.io

xieyuheng / 謝宇恆

Xieyuheng is a language designer,. Github : https:/ github.com/xieyuheng. 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.

http://xieyuheng.github.io/

OVERVIEW OF xieyuheng.github.io

TRAFFIC RANK

>1,000,000

REVIEWS

0

PAGES IN THIS WEBSITE

3

LINKS TO THIS WEBSITE

CONTACTS

ADDRESSES

SOCIAL LINKS

ONLINE SINCE

WEBSITE DETAILS

SEO

PAGES

SIMILAR SITES

TRAFFIC RANK FOR XIEYUHENG.GITHUB.IO

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

December

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Saturday

TRAFFIC BY CITY

Sign up

CUSTOMER REVIEWS

Average Rating: 3.7 out of 5 with 17 reviews

5 star

5

4 star

6

3 star

4

2 star

0

1 star

2

Hey there! Start your review of xieyuheng.github.io

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

LOAD TIME

14.5 seconds

CONTACTS AT XIEYUHENG.GITHUB.IO

ADD CONTACT

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

CONTENT

PAGES IN
THIS WEBSITE

3

SSL

EXTERNAL LINKS

2

SITE IP

151.101.40.133

LOAD TIME

14.47 sec

SCORE

6.2

PAGE TITLE

xieyuheng / 謝宇恆 | xieyuheng.github.io Reviews

<META> DESCRIPTION

Xieyuheng is a language designer,. Github : https:/ github.com/xieyuheng. 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.

<META> KEYWORDS

1 近死之心莫使復陽也

2 xieyuheng / 謝宇恆

3 overview

4 writing

5 paper

6 article

7 language design

8 lecture

9 translation

10 designing cicada language

CONTENT

Page content here

KEYWORDS ON PAGE

近死之心莫使復陽也,xieyuheng / 謝宇恆,overview,writing,paper,article,language design,lecture,translation,designing cicada language,demo,design note,todo logic1,jojo,sequent1,recursive combinator,cicada nymph

SERVER

GitHub.com

CONTENT-TYPE

utf-8

GOOGLE PREVIEW

xieyuheng / 謝宇恆 | xieyuheng.github.io Reviews

https://xieyuheng.github.io

Xieyuheng is a language designer,. Github : https:/ github.com/xieyuheng. 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.

INTERNAL PAGES

xieyuheng.github.io

1

jojo

https://xieyuheng.github.io/jojo

A low-level untyped language. An interpreter written in c. C functions can be easily added into the language. The syntax of this language is very explicit. Because I intend to use it as a compiler target. To play with vm.

2

cicada-nymph

https://xieyuheng.github.io/cicada-nymph

3

sequent1

https://xieyuheng.github.io/sequent1

A prototype functional language. Which uses sequent calculus as its dependent type system. Function compose, type cut, and the algebra of logic. This reading is also used to form a paper. For scheme workshop 2016. For the talk at the workshop.

UPGRADE TO PREMIUM TO VIEW 0 MORE

TOTAL PAGES IN THIS WEBSITE

3

LINKS TO THIS WEBSITE

blog.yoitsu.moe

友情链接 - 约伊兹的萌狼乡手札

https://blog.yoitsu.moe/links.html

IRC 频道 #aosc ( Telegram群 "安同开源社区". 最近正和咱和 /dev/horo 一起觅食中雾. 助教一枚，Arch Linux TU 授信用户，维护官方软件仓库的一群人一名，同时是个人生赢家😂. 人称肥猫，Arch Linux中文社区网站的维护者之一 Arch Linux TU 刷包狂人雾撑起了Arch Linux半壁江山的领袖超大雾. 身兼聽力殘疾，一直立身力行地一日三省，口風相當緊，中文審美嚴苛無比，計算機科學絕讚登堂中，批判性思維異常過人，完美無瑕之守序中立，偶尔飙中二腔，大愛 ACG 與 Arch Linux. U need tox 雾. Frantic1048 Chino Kafuu 智乃香风. 的维护者和 USTC Linux用户组的主席好棒，现在是Arch Linux 中文社区源的维护者之一. 彼得蔡，颠倒的阿卡林型次元,生活颠倒存在感不足二次元宅. 据说高中用 AIDE 在手机上徒手撸出了 BlackLight 的大大，博客几经改版每一次都越来越漂亮. 喪以不執所執者喪執喪相比方死方生. CSS 里并没有 layer 这属性.

UPGRADE TO PREMIUM TO VIEW 1 MORE

TOTAL LINKS TO THIS WEBSITE

2

OTHER SITES

xieyuefen.com

胜通物流

座机 0594-6163111 电话 18606055060 手机 18965897198.

xieyuejiao.com

济南协裕生物技术有限公司

协裕阿胶简介协裕阿胶，始于宋代，最早记于宋史地理志，距今有几百年历史，是中国最早阿胶制作者。李时珍本草纲目记载阿胶，圣药也。协裕阿胶百年老号秉承传统恪守古训. 400-0531-985 Email jnxieyuejiao@163.com.

xieyuerang.com

Website Disabled

Sorry, the site you requested has been disabled.

xieyufoundation.org

谢宇教育基金会 | Xie Yu Educational Foundation

Xie Yu Educational Foundation. By a committee appointed by the board of trustees of the foundation. The committee consists of members of the faculty (of BNU) and members of the board. For more information about us, please see Bylaws of Xie Yu Education Foundation, Inc. If you have any questions regarding Xie Yu Education Foundation, please contact us by mail, fax, or email. Xie Yu Education Foundation. Duluth, GA 30097.

xieyugui.wordpress.com

daemon

Orgapache.hadoop.mapred.YarnChild: Error running child : java.lang.OutOfMemoryError: Java heap space. 8211; which you have already tried. try it to. 025*mapred.child.java.opts io.sort.mb 0.5*mapred.child.java.opts. Name mapreduce.map.java.opts /name. Name mapreduce.task.io.sort.mb /name. 将mapreduce.task.io.sort.mb 修改成512 好了. Hadoop spark cassandra 集群搭建. 1系统环境以及软件版本基本可以参考以前我实现的hadoop2.2 zookeeper hbase. Centos 7 物理内存 32G. Spark-1.4.0-bin-hadoop2.6. Apache-cassandra-2.0.16-src.tar.gz. Export HADOOP PID DI...

xieyuheng.github.io

xieyuheng / 謝宇恆

Xieyuheng is a language designer,. Github : https:/ github.com/xieyuheng. 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.

xieyuhua.com

解语花中文网--分享生活，品味人生！

xieyujc.com

建设中

xieyujic.com

张家港保税区偕裕机床贸易有限公司-一家数控车床、立式加工中心、龙门加工中心、立式车床、卧式加工中心、镗铣床、高精密数控车床、普通车床等产品的经销批发的有限责任公司

联系人徐跃华(总经理) 固定电话 0512-58377272 移动电话 13584493877 传真 0512-58377262 邮编 215600 地址张家港市金港镇江海南路.

xieyujie.66law.cn

访问被拒绝-华律网(66law.cn)

xieyukun.com

养生之道

治胃胀的偏方这些易生气的食物要当心. 脑洞大开外国网友自制万圣节Note 7 炸弹装走红.