南山竹's repositories

redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, HyperLogLogs, Bitmaps.

Language:CLicense:BSD-3-ClauseStargazers:3Issues:2Issues:0

emacs-dbgr

The Grand "Cathedral" Debugger rewrite

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

awesome-emacs

A community driven list of useful Emacs packages, libraries and others.

Language:Emacs LispStargazers:0Issues:0Issues:0

Clang-tutorial

A collection of code samples showing usage of clang and llvm as a library

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

clojuredocs

clojuredocs.org web app

Language:CSSLicense:EPL-1.0Stargazers:0Issues:0Issues:0

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

cs193p

cs193p

License:Apache-2.0Stargazers:0Issues:0Issues:0

docker

Docker - the open-source application container engine

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

dubbo

Dubbo is a distributed service framework enpowers applications with service import/export capability with high performance RPC.

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

el-get

Manage the external elisp bits and pieces upon which you depend!

Language:Emacs LispStargazers:0Issues:0Issues:0

elasticsearch

Open Source, Distributed, RESTful Search Engine

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

enlive-tutorial

An Easy Introduction to Enlive

Language:ClojureStargazers:0Issues:0Issues:0

httpclient

Mirror of Apache HttpClient

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

jedis

A blazingly small and sane redis java client

Language:JavaLicense:MITStargazers:0Issues:0Issues:0

lucene-solr

Mirror of Apache Lucene & Solr

Language:JavaStargazers:0Issues:0Issues:0

luke

This is mavenised Luke: Lucene Toolbox Project

Language:JavaStargazers:0Issues:0Issues:0

melpa

Scripts for building Emacs packages from Version Control

Language:Emacs LispLicense:NOASSERTIONStargazers:0Issues:0Issues:0

netty-http-client

An asynchronous http client in Java, with a clean, callback-based API, using Netty 4.x

Language:JavaStargazers:0Issues:0Issues:0

on-lisp

A modernized and annotated code companion to Paul Graham's "On Lisp".

Language:Common LispStargazers:0Issues:0Issues:0
Language:ClojureLicense:NOASSERTIONStargazers:0Issues:0Issues:0

spacemacs

Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language:Emacs LispStargazers:0Issues:0Issues:0

spring-framework

The Spring Framework

Language:JavaStargazers:0Issues:0Issues:0

spring-mvc-showcase

Demonstrates the features of the Spring MVC web framework

Language:JavaStargazers:0Issues:0Issues:0

sslh

Applicative Protocol Multiplexer (e.g. share SSH and HTTPS on the same port)

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0

the-art-of-command-line

Master the command line, in one page

Stargazers:0Issues:0Issues:0

the-coder-journal

The journal about "Hello, World!"

Stargazers:0Issues:0Issues:0

tomcat

Mirror of Apache Tomcat

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

tomcat-native

Mirror of Apache Tomcat Native

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

tools.nrepl

A Clojure network REPL that provides a server and client, along with some common APIs of use to IDEs and other tools that may need to evaluate Clojure code in remote environments.

Language:ClojureStargazers:0Issues:0Issues:0

tools.trace

1.3 update of clojure.contrib.trace

Language:ClojureStargazers:0Issues:0Issues:0