k0001 Goto Github PK
Name: k0001
Type: User
Name: k0001
Type: User
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!
Servant support for the XML Content-Type.
Haskell shell scripting
The repo for the singletons Haskell library
Stanford Javascript Crypto Library
Run Skype on GNU/Linux without seeing the GUI
Haskell build tool (lazy, incremental, caching)
Snap project starter executable plus some libraries for building web apps
Add CORS headers to Snap applications
OAuth 2 authentication for Snap applications
Redis support for Snap framework
Snaplet implementing the remoteStorage server protocol.
Communicate with Socket.IO clients as part of a Snap website
A Regular Expressions puzzle game.
Generate a derivation of Spago dependencies, and use them to install them into the directory structure used by Spago.
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
Fast binary serialization
Type-safe SQL interactions with PostgreSQL, based on Opaleye.
Example applications for Top, the type oriented protocol.
Experiments while I learn Agda
This library treats the Twitter JSON API in the Haskell way.
This project is dead. See https://gitlab.com/k0001/moto for its reincarnation.
Fast Unicode normalization in Haskell
Unrelated stuff I'd like to keep somewhere on the internets.
Haskell: Serial (from the bytes package) for Vector (from the vector package)
Vector & affine spaces, linear maps, and derivatives
Haskell (GHCJS) bindings to the virtual-dom project
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.