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

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

killianz.com Book of Killian

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

rust Empowering everyone to build reliable and efficient software.

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

VS-Scribble Racket Scribble Support for VS Code.

KDr2 V2EX member #16236, joined on 2012-02-03 11:36:46 +08:00

Deals info, including closed deals, is not hidden