thinkpad20 Goto Github PK
Type: User
Type: User
A Mersenne Twister implementation in C
Type classes for mapping, folding, and traversing monomorphic containers
A wrapper library for sockets in C to make it simple and easy to write networking code in C
A better namespacer for python.
A never-empty list type for Haskell.
Experimenting with whitespace-sensitive parsers.
A very minimal functional language
A networking reversi game written in Java, using Sockets and RMI.
A simple, easily embeddable pure-functional language with static typing and row polymorphism.
An Amazon S3 client in Haskell, built on Http-Streams.
Some relatively simple and useful Haskell-style classes for Coq, and some instances for them.
A very straightforward argument parser library for python
My work in the software foundations course.
A front-end (lexer, parser and partial compiler) for a subset of the SQL language
A useful Haskell type class for abstracting string implementations.
My Sublime Text 2 Packages
Ur/web syntax definition for Sublime Text
My personal settings for Sublime Text.
Sublime text mode for coq.
A web app for converting images into sound
Mah blogz
A pure, strict and extremely space efficient HashMap with good asymptotics
Playing around with some trading systems stuff
A twitter clone with the option to create polls.
Unofficial clone of impredicative.com urweb repo
My crappy blog
written in C and possibly D
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.