gingerhot Goto Github PK
Name: B1nj0y
Type: User
Location: Beijing
Name: B1nj0y
Type: User
Location: Beijing
simple sample redux app
The Common Lisp Cookbook
(More) safely evaluate Ruby DSLs with cleanroom
The CompCert formally-verified C compiler
A mirror repo of the ConqueTerm vim plugin.
Collection of middlewares created by the community
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
:rooster: All available Coq versions.
HTTP proxy written in Go. COW can automatically identify blocked sites and use parent proxies to access.
Lesson content for cryptozombies.io
《动手学深度学习》:面向中文读者、能运行、可讨论。中英文版被全球200所大学采用教学。
大厨网
My dad's resume and skills from 1980
DDOS tool in python.
Auto remove weibo script
Stating the obvious: using the REPL to live-reload a running website
Chrome Developers
Dingtalk API gem
Cloud Haskell core library
Shellscript to delete orphaned docker volumes
This establishes a hierarchy of preferences, so that tasks are first divided over one category, and then further divided over additional categories. One example of where this may be useful is dividing tasks fairly between datacenters, and then splitting the tasks within each datacenter over a choice of racks. To add multiple placement preferences, specify the --placement-pref flag multiple times. The order is significant, and the placement preferences will be applied in the order given when making scheduling decisions. The following example sets up a service with multiple placement preferences. Tasks are spread first over the various datacenters, and then over racks (as indicated by the respective labels):
:whale: Docker container for Pandoc with XeLaTeX
Docker resources collection. docker资源汇总
Opinionated stacks of ready-to-run Jupyter applications in Docker.
A tuntap shim installer for "Docker for Mac"
Sample docker workflow with Node.js, Redis and NGiNX
Uber tiny Docker images for all the things.
The open-source repo for docs.github.com
config files for zsh, bash, completions, gem, git, irb, rails
某班 API 文档
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.