Pinned Repositories
julia
The Julia Programming Language
cl-fastcgi
A Generic Version of SB-FastCGI, runs on mostly Common Lisp implementations.
DS-III
💫The Death Star III☄
kdr2-on-web
🤖 KDr2 on Web 🕸 🌎
kittle-buffer
Kittle Buffer, or KBF for short, is an extended Brainf**k implementation.
redis-leveldb
A redis-protocol compatible frontend to google's leveldb
sb-fastcgi
FastCGI low-level API and WSGI-Style API for SBCL
plfa.github.io
An introduction to programming language theory in Agda
racket
The Racket repository
Turing.jl
Bayesian inference with probabilistic programming.
KDr2's Repositories
KDr2/redis-leveldb
A redis-protocol compatible frontend to google's leveldb
KDr2/sb-fastcgi
FastCGI low-level API and WSGI-Style API for SBCL
KDr2/kdr2-on-web
🤖 KDr2 on Web 🕸 🌎
KDr2/cl-fastcgi
A Generic Version of SB-FastCGI, runs on mostly Common Lisp implementations.
KDr2/kittle-buffer
Kittle Buffer, or KBF for short, is an extended Brainf**k implementation.
KDr2/emacs.d
🖌 Emacs Configuration📘
KDr2/DS-III
💫The Death Star III☄
KDr2/agda
Agda is a dependently typed programming language / interactive theorem prover.
KDr2/emacs
Mirror of https://git.savannah.gnu.org/git/emacs.git
KDr2/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).
KDr2/org-mode
Mirror of Orgmode official repository
KDr2/PLFA-zh
《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版
KDr2/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
KDr2/rust
Empowering everyone to build reliable and efficient software.
KDr2/agda-stdlib
The Agda standard library
KDr2/julia
The Julia Language: A fresh approach to technical computing.
KDr2/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.
KDr2/plfa.github.io
An introduction to programming language theory in Agda
KDr2/public-assets
Database of my public assets, don't star, don't fork.
KDr2/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
KDr2/racket
The Racket repository
KDr2/skia
Skia is a complete 2D graphic library for drawing Text, Geometries, and Images.
KDr2/typst
A new markup-based typesetting system that is powerful and easy to learn.