man-on-earth Goto Github PK
Name: DanceFlower
Type: User
Location: Shanghai
Name: DanceFlower
Type: User
Location: Shanghai
ABC: System for Sequential Logic Synthesis and Formal Verification
😮 互联网 Java 工程师进阶知识完全扫盲:涵盖高并发、分布式、高可用、微服务、海量数据处理等领域知识,后端同学必看,前端同学也可学习
AiLearning: 机器学习 - MachineLearning - ML、深度学习 - DeepLearning - DL、自然语言处理 NLP
Set up a personal VPN in the cloud
收集Android方方面面的经典知识, 最新技术.
收集整理Android开发所需的Android SDK、开发中用到的工具、Android开发教程、Android设计规范,免费的设计素材等。
:fire:正在成为史上最全分类 Android 开源大全~~~~(长期更新 Star 一下吧)
安卓学习笔记
Step by step to build Android apps using Android Studio
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
📚 Papers by organizations sharing their work on applied data science & machine learning.
一个学习Apue的仓库,对于每一章节的学习代码会上传下来,包含一些遇到的问题,以及解决的 一些问题,也包括了一路走来,的成长点滴,在后期后加上我的 博客地址,来记录学习的点滴、
A Deep Learning based project for creating line art portraits.
automatic program repair for Java with generate-and-validate techniques :v::v:: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)
Open-science repo for the program repair experiments using Astor
📚 Learn ML with clean code, simplified math and illustrative visuals.
大数据入门指南:star::star::star:
To the programmer's open source and free books collection 给程序员的开源、免费书籍收集,图书集合。
A lightweight distributed RPC framework
Windows Calculator: A simple yet powerful calculator that ships with Windows
A Tensorflow implementation of CapsNet(Capsules Net) in Hinton's paper Dynamic Routing Between Capsules
👩🏿💻👨🏾💻👩🏼💻👨🏽💻👩🏻💻**独立开发者项目列表 -- 分享大家都在做什么
The most comprehensive database of Chinese poetry 🧶最全中华古诗词数据库, 唐宋两朝近一万四千古诗人, 接近5.5万首唐诗加26万宋诗. 两宋时期1564位词人,21050首词。
A Windows GUI based on Clash
📚 Solutions to Introduction to Algorithms Third Edition
:notebook:Solutions to Introduction to Algorithms
A library to compute statement-level code coverage using source code transformation with Spoon
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.
侯捷C++课程PPT及代码,动手学起来
Build the best interview map. The current content includes JS, network, browser related, performance optimization, security, framework, Git, data structure, algorithm, etc.
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.