Killian Q. Zhuo (KDr2)

KDr2

Geek Repo

Company:None

Location:XI'AN, Shaanxi, China

Home Page:https://kdr2.com

Twitter:@KDr2

Github PK Tool:Github PK Tool


Organizations
hexoasis
PaodingAI
TuringLang
ezoic increase your site revenue

Killian Q. Zhuo's repositories

redis-leveldb

A redis-protocol compatible frontend to google's leveldb

Language:C++License:MITStargazers:191Issues:25Issues:13

sb-fastcgi

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

Language:Common LispLicense:BSD-2-ClauseStargazers:27Issues:2Issues:1

kdr2-on-web

🤖 KDr2 on Web 🕸 🌎

cl-fastcgi

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

Language:Common LispLicense:BSD-2-ClauseStargazers:11Issues:1Issues:1

kittle-buffer

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

Language:RacketLicense:MITStargazers:9Issues:0Issues:0

emacs.d

🖌 Emacs Configuration📘

Language:Emacs LispStargazers:8Issues:1Issues:0

DS-III

💫The Death Star III☄

Language:ShellStargazers:1Issues:1Issues:0
Language:Common LispLicense:NOASSERTIONStargazers:1Issues:0Issues:0

org-mode

Mirror of Orgmode official repository

Language:Emacs LispLicense:GPL-3.0Stargazers:1Issues:0Issues:0

agda

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

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

agda-stdlib

The Agda standard library

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

binaryen

Compiler infrastructure and toolchain library for WebAssembly

Language:WebAssemblyLicense:Apache-2.0Stargazers:0Issues:0Issues:0

CodeInfoTools.jl

A utility package for working with Julia's CodeInfo internal representation.

Language:JuliaLicense:MITStargazers:0Issues:0Issues:0

emacs

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

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0

emscripten

Emscripten: An LLVM-to-WebAssembly Compiler

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues: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).

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Idris2

A purely functional programming language with first class types

Language:IdrisLicense:NOASSERTIONStargazers:0Issues:0Issues:0

julia

The Julia Language: A fresh approach to technical computing.

Language:JuliaLicense:MITStargazers:0Issues:1Issues:0

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.

Stargazers:0Issues:0Issues:0

PLFA-zh

《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版

Language:HTMLLicense:CC-BY-4.0Stargazers:0Issues:0Issues:0

plfa.github.io

An introduction to programming language theory in Agda

License:CC-BY-4.0Stargazers:0Issues:0Issues:0

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

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

public-assets

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

Language:PythonStargazers:0Issues:0Issues:0

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

racket

The Racket repository

Language:SchemeLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ReverseDiff.jl

Reverse Mode Automatic Differentiation for Julia

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

skia

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

Language:C++License:BSD-3-ClauseStargazers:0Issues:0Issues:0

v8

The official mirror of the V8 Git repository

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0