C++ 204 人关注
redis-leveldb A redis-protocol compatible frontend to google's leveldb KDr2's repos on GitHub
Common Lisp 29 人关注
sb-fastcgi FastCGI low-level API and WSGI-Style API for SBCL 17 人关注
KDr2 KDr2 on the Internet Common Lisp 15 人关注
cl-fastcgi A Generic Version of SB-FastCGI, runs on mostly Common Lisp implementations. Racket 9 人关注
kittle-buffer Kittle Buffer, or KBF for short, is an extended Brainf**k implementation. Emacs Lisp 8 人关注
emacs.d Emacs Configuration Shell 2 人关注
DS-III The Death Star III Haskell 1 人关注
PLFA-zh 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版 Haskell 0 人关注
agda Agda is a dependently typed programming language / interactive theorem prover. Agda 0 人关注
agda-stdlib The Agda standard library Haskell 0 人关注
ghc Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing). Julia 0 人关注
julia The Julia Language: A fresh approach to technical computing. 0 人关注
killianz.com Book of Killian Agda 0 人关注
plfa.github.io An introduction to programming language theory in Agda Python 0 人关注
public-assets Database of my public assets, don't star, don't fork. Python 0 人关注
pytorch Tensors and Dynamic neural networks in Python with strong GPU acceleration Rust 0 人关注
rust Empowering everyone to build reliable and efficient software. Rust 0 人关注
typst A new markup-based typesetting system that is powerful and easy to learn.  | KDr2V2EX 第 16236 号会员，加入于 2012-02-03 11:36:46 +08:00 |
KDr2
kdr2.com
XI'AN, SHAANXI, China
KDr2
KDr2 最近回复了
2024 年 8 月 28 日 回复了 hongweijie8 创建的主题 职场话题 在公司被匿名表白了 |
恭喜恭喜，在一起在一起！
2024 年 8 月 19 日 回复了 zapper 创建的主题 随想 如果以后真能星际旅行了，我出差要进入低温休眠舱休眠，休眠期间公司会给我发工资吗 |
@corcre 路上加班赚钱，到站前办离退休，目的地养老。
2024 年 8 月 19 日 回复了 zapper 创建的主题 随想 如果以后真能星际旅行了，我出差要进入低温休眠舱休眠，休眠期间公司会给我发工资吗 |
休眠啥啊，当然是路上掏出电脑加班啊！
2024 年 7 月 30 日 回复了 tt83 创建的主题 问与答 你们有没有这样的体验，因为一个人的存在而变得不一样 |
小时候会，现在已经长大了。
2023 年 7 月 10 日 回复了 flamiNNgo 创建的主题 问与答 技术文档一式两份是不是比较好 |
这不是一式两份，这是两式。
2023 年 3 月 1 日 回复了 summerLast 创建的主题 分享发现 lisp+ mkdown > notion ? |
2023 年 3 月 1 日 回复了 summerLast 创建的主题 分享发现 lisp+ mkdown > notion ? |
可以去看看 scribble 。
2023 年 2 月 2 日 回复了 seho 创建的主题 职场话题 2023 年西安前端面试太难搞了(哭了~) |
@seho 可以招人的，你有意的话，我可以让 HR 联系你。
Select Language