bringhurst/tlaplus

Stars
27
Rank 905,827 (Top 18 %)
Language
Java
Created over 10 years ago
Updated over 10 years ago

bringhurst/tlaplus

bringhurst

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

xv6

Unix v6 Ported to ANSI C, x86

nginx-mod-auth-kerb

An nginx module to enable the use of SPNEGO, GSSAPI, and Kerberos for HTTP SSO authentication.

lanyard

WebGL GIS visualization. Based on WorldWind Java and Closure Tools.

xnufuzz

An XNU kernel fuzz tool

ib2slurm

A tool to generate slurm topology configuration from infiniband network discovery.

webgl-unproject

A Javascript port of the standard gluUnProject function used for mapping window coordinates to object coordinates.

guix

A functional package and configuration manager.

jquery-reverse-geocode

A plugin for jQuery to easily use Google Maps API's reverse geocoding feature.

pumpkin-pie

Iterative pumpkin pie

robinhood

See http://sourceforge.net/apps/trac/robinhood for details.

fintler.github.com

fintler.github.com

ompi

A mirror of the official OpenMPI repo.

trailreporter

A bike trail incident reporter that was used by the Bike Club of Philadelphia to keep a public record of incidents on the Schuylkill River trail. It's not really needed anymore, but archived here for potential future use.

generate_random_files

A little script to generate a random file tree for testing.

WebGL-Presentation

A presentation on webgl that I'm working on

hello-samza

rand

PHP based random password generator.

zoidb

A simple database with atomic commits, write ahead logging, and paxos based replication.

orcm

kgrok_org

A website for k_grok.

tomatodb

A very experimental data storage system.

indent

A version of the latest GNU indent program (2.2.10) modified to compile on Snow Leopard.

sloc_tracker

A simple django application to track the history of SLOC reports (as pointless as they may be).

auks

A mirror of the AUKS kerberos cache server.

white_papers

A collection of white papers I've written.

tompi

A threads-only MPI implementation.

topo

A utility to query for topology information of a cluster.

ingredient

A test based environment configuration utility.

env_scripts

Random env scripts that I use at work.

ndt

Last-mile network performance tuning. Mirror of internet2.edu.

project_euler_erlang

My attempts at doing project euler in erlang.

purger

Purger is a purging system intended for use on larger parallel filesystems in which notifications or advanced queries are required before file deletion. The parallel code requires MPI and database storage uses an external database server.