melloc Goto Github PK
Name: Ulyssa Mello
Type: User
Bio: See @ulyssa for recent work.
Location: San Francisco, CA
Blog: https://ulyssa.net
Name: Ulyssa Mello
Type: User
Bio: See @ulyssa for recent work.
Location: San Francisco, CA
Blog: https://ulyssa.net
This is a formalization of the paper "Types for Atomicity" by Flanagan and Qadeer
ATS2: Unleashing the Potentials of Types and Templates
This repository is primarily for testing ATS2 on various platforms
One true awk
Example AWK programs for a Joyent Technical Discussion I gave on AWK
My configurations
A USDT provider library for CHICKEN Scheme
Lightning fast code searching made easy
Updated versions of old Sun docbooks for illumos
Community developed and maintained version of the OS/Net consolidation
JavaScript Lint
Create DTrace probes at runtime
A collection of scripts to help manage users and groups in LDAP
ANSI Terminal Handling Routines
a simple and fast JSON logging module for node.js services
Native DTrace probes for node.js apps
Node.js native addon build tool
A terminal chat client
Matrix client library for iamb
Mattermost client library for iamb
NodeJS IRC client library
A collection of trees
terminal drawing library
Scripts and data I collected for testing OS-7751
A compiler for the Pyret language (http://www.github.com/brownplt/pyret-lang)
The Pyret language.
A simple roguelike engine and game, originally made for CS195N.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.