KDr2's repos on GitHub
C++ · 201 人关注
redis-leveldb
A redis-protocol compatible frontend to google's leveldb
Common Lisp · 28 人关注
sb-fastcgi
FastCGI low-level API and WSGI-Style API for SBCL
Racket · 17 人关注
KDr2
🤖 KDr2 on the Internet 🌎
Common Lisp · 12 人关注
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.
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
Racket · 0 人关注
racket
The Racket repository
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.
KDr2

KDr2

V2EX 第 16236 号会员,加入于 2012-02-03 11:36:46 +08:00
根据 KDr2 的设置,主题列表被隐藏
二手交易 相关的信息,包括已关闭的交易,不会被隐藏
KDr2 最近回复了
341 天前
回复了 flamiNNgo 创建的主题 问与答 技术文档一式两份是不是比较好
这不是一式两份,这是两式。
2023-03-01 17:07:53 +08:00
回复了 summerLast 创建的主题 分享发现 lisp+ mkdown > notion ?
2023-03-01 12:31:34 +08:00
回复了 summerLast 创建的主题 分享发现 lisp+ mkdown > notion ?
可以去看看 scribble 。
2023-02-02 13:10:33 +08:00
回复了 seho 创建的主题 职场话题 2023 年西安前端面试太难搞了(哭了~)
@seho 可以招人的,你有意的话,我可以让 HR 联系你。
2023-02-02 00:25:32 +08:00
回复了 seho 创建的主题 职场话题 2023 年西安前端面试太难搞了(哭了~)
学了五年,目前很熟练,词汇量接近 20k+, 产出:出版了一本英文书籍,儿子在 7 岁时已经口语流利,3-5k 词汇量。

目前刚开始和儿子一起学 德语 和 西班牙语,自学,进度比较慢,但是这个过程就是着急不得,小火慢炖,目标 3 年内能进行日常交流。
2022-08-09 10:49:10 +08:00
回复了 sy20030260 创建的主题 Rust 有没有这样一门语言,保留 Rust 其他特性但提供 GC 能力?
Haskell.
2022-08-01 07:58:44 +08:00
回复了 bigxianyu 创建的主题 问与答 英语学习的目标大家是什么设置的
当然是单词先背一个亿了。
2022-06-25 21:14:32 +08:00
回复了 idblife 创建的主题 问与答 有啥软件或者服务可以做 PDF 文件的 OCR?
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   983 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 12ms · UTC 20:14 · PVG 04:14 · LAX 13:14 · JFK 16:14
Developed with CodeLauncher
♥ Do have faith in what you're doing.