dwoos Goto Github PK
Name: Doug Woos
Type: User
Blog: http://www.dougwoos.com
Name: Doug Woos
Type: User
Blog: http://www.dougwoos.com
Extensions to org-mode to enable RPG character tracking
Formally Verified Serialization Library
Output a christmas tree if appropriate
Company-mode backend for Proof General's coq-mode
Code Quarterly Code Challenge -- Markup
A slackbot to compete on mini crosswords (or any other daily challenge).
Simple DAG-based job scheduler in Python
Convolutional Neural Networks
Deadline slack bot
Distributed Systems Labs and Framework
A tool to create character sheets and GM session notes for Dungeons and Dragons fifth edition (D&D 5e).
A simple little CLI tool to export your google calendar into org-mode.
Command line tool to help you clean up old git branches
google test with minor changes for LogCabin
Hackery, In the Best Way
Node.js bindings to hiredis
The missing package manager for OS X.
A dependently typed programming language, and verification tool
The MSR Ironclad project builds provably secure and reliable systems.
Opscode Chef knife plug-in for EC2
LogCabin is a distributed storage system built on Raft that provides a small amount of highly replicated, consistent storage. It is a reliable place for other distributed systems to store their core metadata and is helpful in solving cluster management issues.
A Python library for setting up Mongo documents for testing
Source files for the neveragain.tech site
redis client for node
HTTP load/traffic generator and benchmark tool built on Node.js
A demo implementation of a simple dependently-typed language
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.