xieyuheng Goto Github PK
Name: 谢宇恒 / Xie Yuheng
Type: User
Bio: 「我们对一个物体所形成的概念,就是,在我们所关心的情况下,这个物体的具有实际影响的效果的总和。」-- 皮尔士的实用主义箴言
Location: China
Blog: https://xieyuheng.com
Name: 谢宇恒 / Xie Yuheng
Type: User
Bio: 「我们对一个物体所形成的概念,就是,在我们所关心的情况下,这个物体的具有实际影响的效果的总和。」-- 皮尔士的实用主义箴言
Location: China
Blog: https://xieyuheng.com
ZSH_CUSTOM=$HOME/.zsh
to learn agda with Dan Licata and Ian Voysey ^-^
A program to draw analytic geometry graphs on canvas.
about aristotle
令人拍案的中文翻译
Awesome Ludwig People.
为什么之空耳与猎奇
Ok, three, two, one, let's jam!
A categorical semantics library in Agda.
Libraries and tools for topological and geometric modeling.
👩🏿💻👨🏾💻👩🏼💻👨🏽💻👩🏻💻**独立开发者项目列表 -- 分享大家都在做什么
emacs mode to edit cicada code
interactive UI of cicada-language
a forth like language written in fasm assembler
emacs mode for cicada-nymph language
old cicada attempt in rs
The Collective Code Construction Contract (C4) is an evolution of the github.com Fork + Pull Model, aimed at providing an optimal collaboration model for free software projects.
Tools for building command-line interface.
Simple tools for doing dependency injection through constructors.
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 is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
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.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.