melloc

See @ulyssa for recent work.

San Francisco, CA

Pinned Repositories

atomicity
This is a formalization of the paper "Types for Atomicity" by Flanagan and Qadeer
Language:Coq00
ATS-Postiats
ATS2: Unleashing the Potentials of Types and Templates
Language:ATS00
ATS-Postiats-test
This repository is primarily for testing ATS2 on various platforms
Language:ATS00
awk
One true awk
Language:C10
awk-jtd
Example AWK programs for a Joyent Technical Discussion I gave on AWK
Language:Awk20
course-latex
Language:TeX1 2 02
dotfiles
My configurations
Language:Haskell5 2 02
manage-ldap
A collection of scripts to help manage users and groups in LDAP
Language:Python12 4 010
node-irc
NodeJS IRC client library
Language:TypeScript10
roguelike
A simple roguelike engine and game, originally made for CS195N.
Language:Java6 3 02

melloc's Repositories

melloc/manage-ldap
A collection of scripts to help manage users and groups in LDAP
Language:Python12 4 010
melloc/roguelike
A simple roguelike engine and game, originally made for CS195N.
Language:Java6 3 02
melloc/dotfiles
My configurations
Language:Haskell5 2 02
melloc/awk-jtd
Example AWK programs for a Joyent Technical Discussion I gave on AWK
Language:Awk20
melloc/awk
One true awk
Language:C10
melloc/course-latex
Language:TeX1 2 02
melloc/node-irc
NodeJS IRC client library
Language:TypeScript10
melloc/ATS-Postiats
ATS2: Unleashing the Potentials of Types and Templates
Language:ATS00
melloc/ATS-Postiats-test
This repository is primarily for testing ATS2 on various platforms
Language:ATS00
melloc/dtrace-provider-egg
A USDT provider library for CHICKEN Scheme
Language:Scheme
melloc/hound
Lightning fast code searching made easy
Language:JavaScript2 0
melloc/illumos-docbooks
Updated versions of old Sun docbooks for illumos
Language:HTML
melloc/illumos-gate
Community developed and maintained version of the OS/Net consolidation
Language:C
melloc/illumos-site
melloc/javascriptlint
JavaScript Lint
Language:Python
melloc/libusdt
Create DTrace probes at runtime
Language:C
melloc/minimanta
Language:JavaScript1 0
melloc/node-ansiterm
ANSI Terminal Handling Routines
Language:JavaScript2 0
melloc/node-bunyan
a simple and fast JSON logging module for node.js services
Language:JavaScript2 0
melloc/node-dtrace-provider
Native DTrace probes for node.js apps
Language:JavaScript
melloc/node-gyp
Node.js native addon build tool
Language:Python
melloc/node-iamb
A terminal chat client
Language:JavaScript2 41
melloc/node-iamb-matrix
Matrix client library for iamb
Language:JavaScript
melloc/node-iamb-mattermost
Mattermost client library for iamb
Language:JavaScript2 6
melloc/node-taiga
A collection of trees
Language:JavaScript
melloc/node-termdraw
terminal drawing library
Language:JavaScript2 0
melloc/OS-7751-testing
Scripts and data I collected for testing OS-7751
Language:Awk1 0
melloc/pyret-compiler
A compiler for the Pyret language (http://www.github.com/brownplt/pyret-lang)
Language:Shell
melloc/vty
A high-level ncurses alternative written in Haskell
Language:Haskell
melloc/yesod
A RESTful Haskell web framework built on WAI.
Language:Haskell1 0