pwycl Goto Github PK
Type: User
Type: User
Source code of the book - Android群英传
Demos the new Android Design library.
Google Test for Cjson
clear log in /var/log
an Open Course Platform for Stanford CS224n (2020 Winter)
jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to many SMT solvers.
KLEE Symbolic Execution Engine
React Components that Implement Google's Material Design.
This is a library with components of Android L to you use in android 2.2
GDELT news texts
A LaTeX template for Master/PhD Thesis of NUDT
利用GithubAction离线下载至自己的WebDAV网盘。Using github action download artifact and upload to WebDAV driver
Materials and IPython notebooks for "Python for Data Analysis" by Wes McKinney, published by O'Reilly Media
A scalable template for PyTorch projects, with examples in Image Segmentation, Object classification, GANs and Reinforcement Learning.
Geometric Deep Learning Extension Library for PyTorch
A Scheme Interpreter in Python
java人脸识别,人脸检测和关键点定位, 人脸特征提取和对比, 人脸特征提取, 人脸特征对比, 活体检测, 人脸跟踪, 质量评估, 年龄识别, 性别识别, 口罩检测, 口罩人脸识别, 眼睛状态检测
adding smt datasets to kaggle kernel
师兄的Task0-462-273-465-1s-60s
dataset2
超时预测的数据
Simple Theorem Prover, an efficient SMT solver for bitvectors
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.