Giters
John Traver (jtraver)

jtraver

Geek Repo

12

followers

0

following

1

stars

Company:Aerospike

Location:somewhere southeast of Salt Lake City

Home Page:Aerospike.com

Github PK Tool:Github PK Tool

Organizations
aerospike

John Traver's repositories

aerospike-client-c

Aerospike C Client

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

aerospike-client-python

Aerospike Python Client

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

alchemy-inject

A guice module discovery mechanism with support for multi environments

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

alchemy-rest-client-demo

A demo jersey RESTful Web Services project with a simple authentication and ping service that demonstrates the use of Alchemy Rest Client generator and Alchemy Inject.

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

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

Language:JavaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

benchmarksgame-cvs-mirror

A git mirror of the benchmarksgame cvs repository

License:NOASSERTIONStargazers:0Issues:0Issues:0

CardinalityEstimation

HyperLogLog-based set cardinality estimation library

License:NOASSERTIONStargazers:0Issues:0Issues:0

cli

The Docker CLI

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

compose

Define and run multi-container applications with Docker

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

containerd

See https://github.com/containerd/containerd for upstream containerd

License:Apache-2.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

cosmos

Algorithms that run our universe | Your personal library of every algorithm and data structure code that you will ever encounter | Ask us anything at our forum

Language:Jupyter NotebookLicense:GPL-3.0Stargazers:0Issues:0Issues:0

dev

misc dev stuff

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

docker-ce

Docker CE

Stargazers:0Issues:0Issues:0

docker-java

Java Docker API Client

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

docker-py

A Python library for the Docker Engine API

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

engine

docker engine release repository fork of moby

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

english-words

:memo: A text file containing 479k English words for all your dictionary/word-based projects e.g: auto-completion / autosuggestion

Language:PythonLicense:UnlicenseStargazers:0Issues:0Issues:0

fleet

A Distributed init System

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

guice

Guice (pronounced 'juice') is a lightweight dependency injection framework for Java 6 and above, brought to you by Google.

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

guiceberry

Leverage Guice to achieve Dependency Injection on your JUnit tests

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

hyperminhash

LogLog space version of MinHash by combining ideas from HyperLogLog and b-bit MinHash

License:CC0-1.0Stargazers:0Issues:0Issues:0

jsonrpc4j

JSON-RPC for Java

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

matplotlib

matplotlib: plotting with Python

Language:PythonStargazers:0Issues:2Issues:0

pexpect

A Python module for controlling interactive programs in a pseudo-terminal

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

pylint

A Python source code analyzer which looks for programming errors, helps enforcing a coding standard and sniffs for some code smells

Language:PythonLicense:GPL-2.0Stargazers:0Issues:2Issues:0

pyopenssl

A Python wrapper around the OpenSSL library

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

spring-data-aerospike

Spring Data Aerospike

Language:JavaStargazers:0Issues:0Issues:0

telegraf

The plugin-driven server agent for collecting & reporting metrics.

Language:GoLicense:MITStargazers:0Issues:2Issues:0

udf-debug

Utility routines that help debug Aerospike UDFs

Language:LuaStargazers:0Issues:0Issues:0