xieyuheng 最近的时间轴更新

cell-complex Libraries and tools for topological and geometric modeling.

cat A categorical semantics library in Agda.

cicada-nymph a forth like language written in fasm assembler

analytic-geometry A program to draw analytic geometry graphs on canvas.

conf

agda-oplss13 to learn agda with Dan Licata and Ian Voysey ^-^

awesome-why 为什么之空耳与猎奇

biysc2021-notes

cicada-mode emacs mode to edit cicada code

cicada-rs old cicada attempt in rs

collective-code-construction-contract 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.

.zsh ZSH_CUSTOM=$HOME/.zsh

awesome-chinese-translation 令人拍案的中文翻译

awesome-ludwig Awesome Ludwig People.

chinese-independent-developer 👩🏿‍💻👨🏾‍💻👩🏼‍💻👨🏽‍💻👩🏻‍💻中国独立开发者项目列表 -- 分享大家都在做什么

command-line Tools for building command-line interface.

cookbook-scala

coupler Simple tools for doing dependency injection through constructors.

actor

akka-docs-offline

aristotle about aristotle

basic-ts

bebop Ok, three, two, one, let's jam!

cicada-baremetal

cicada-notebook-for-rs interactive UI of cicada-language

cicada-nymph-mode emacs mode for cicada-nymph language

cicada-scala

comp

confer

cppannotations

xieyuheng V2EX 第 304014 号会员，加入于 2018-03-28 11:48:18 +08:00