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

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

kdr2-on-web 🤖 KDr2 on Web 🕸 🌎

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☄

org-mode Mirror of Orgmode official repository

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

binaryen Compiler infrastructure and toolchain library for WebAssembly

emacs Mirror of https://git.savannah.gnu.org/git/emacs.git

emscripten Emscripten: An LLVM-to-WebAssembly Compiler

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 The Julia Language: A fresh approach to technical computing.

llvm-project The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

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

postgres Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see http://wiki.postgresql.org/wiki/Submitting_a_Patch

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

ReverseDiff.jl Reverse Mode Automatic Differentiation for Julia

rust Empowering everyone to build reliable and efficient software.

skia Skia is a complete 2D graphic library for drawing Text, Geometries, and Images.

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

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