zaoqi

Follow

🤒

zaoqi zaoqi

🤒

Follow

（This is an archive. New: https://github.com/tsao-chi）我希望我能相信，并将其作为公理：被规定的可比较的数字即一切我的一切行动的目的，规定者即上帝，以类似西元二十一世纪上半叶的某类AI的方法拟合某个函数的方法即我行动的方法。

79 followers · 149 following

-
- Zhejiang China
-

Achievements

Achievements

Organizations

zaoqi/README.md

Pronouns: She/Her

Moved to https://github.com/tsao-chi/

Here is 黑历��

Pinned Loading

the-language/zKanren the-language/zKanren Public

zKanren

Racket 11 4
effect.rkt effect.rkt Public

Scheme 1 1
Expression-Oriented-C Expression-Oriented-C Public

Expression-Oriented C

C 4 2
Signal.hs Signal.hs Public

Signal.hs

Haskell 3
Mapping.idr Mapping.idr Public

Idris 3
the-language/the-language the-language/the-language Public archive

visit https://github.com/the-language/the-language-jit

TypeScript 2 1