redis-leveldb A redis-protocol compatible frontend to google's leveldb

sb-fastcgi FastCGI low-level API and WSGI-Style API for SBCL

KDr2 🤖 KDr2 on the Internet 🌎

cl-fastcgi A Generic Version of SB-FastCGI, runs on mostly Common Lisp implementations.

kittle-buffer Kittle Buffer, or KBF for short, is an extended Brainf**k implementation.

emacs.d 🖌 Emacs Configuration📘

DS-III 💫The Death Star III☄

PLFA-zh 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

agda Agda is a dependently typed programming language / interactive theorem prover.

agda-stdlib The Agda standard library

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).

http-server Serve static assets

julia The Julia Language: A fresh approach to technical computing.

plfa.github.io An introduction to programming language theory in Agda

public-assets Database of my public assets, don't star, don't fork.

pytorch Tensors and Dynamic neural networks in Python with strong GPU acceleration

racket The Racket repository

rust Empowering everyone to build reliable and efficient software.

typst A new markup-based typesetting system that is powerful and easy to learn.

KDr2 V2EX 第 16236 号会员，加入于 2012-02-03 11:36:46 +08:00 今日活跃度排名 23770

二手交易 相关的信息，包括已关闭的交易，不会被隐藏