Gaoshiguo/Model-Checker-Introduction-of-PAT-and-PRISM-

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Created almost 6 years ago
Updated over 5 years ago

Gaoshiguo/Model-Checker-Introduction-of-PAT-and-PRISM-

Gaoshiguo

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

这个项目用于记录有关PAT和PRISM的两个模型检验工具的笔记

PCA-Principal-Components-Analysis

基于Python的PCA人脸识别算法的原理及实现代码详解

Python-GUI-

这个项目主要记录使用Python来完成一些图形化界面的设计和实现

MOVIELENS

这个项目用于展示通过训练movielens数据集对用户进行电影推荐

python-spider-wiki

这个项目使用python来实现爬取维基百科的关键词条以及其超链接，并写入MySQL数据库中

matplotlib-learning

这个项目用于展示日常的Python中matplotlib的学习

Algorithm-implementation

这个工程将会展示展示算法导论中某些具体算法的代码实现（基于python）从基本的排序到动态规划图的某些算法等等

datamining-ID3-C4.5-CART

这个项目用来展示经典的ID3/C4.5/CART算法

Data-mining-clustering-algorithm

主要记录基于python实现的数据挖掘相关聚类算法，包括K-means、DBSCAN算法等

MNIST

使用MNIST数据集实现手写数字识别

LeetCode-Everyday

this project is show daily python basic exercise

diaspora-implantation-monitor

运行时验证的相关技术和工具

Flask_learning

Use Flask to build my web page

IDE-Theme

pycharm webstorm IDE color Theme

django-blogapplication

这个工程用于展示使用django来实现web页面的搭建

Ruby-on-rails

this project is to show the developmen of application use Ruby on rails

tensorflow-learning-

这个工程用于记录TensorFlow的学习过程心得笔记

generator-qrcode

this code is used to generator the qrcode of the website that you want

Python_Spider

This Repository is recording the spider app use python include note picture and so on

Spring-boot-Vue

this project is using Spring+Vue create a Web project

Some-Tools-about-technology

this repository is about some tools about technology

Spring-learning-note

记录在学习spring框架时的笔记

Java_learning_code

this Repository is to show the java code about my daily train

Java-project

这个项目主要用于记录平时有关Java学习相关的项目

blog-application

this is a blog application

python_script

python 日常会用到的脚本文件

Test_Application

this is a wechatapplication about Test

Vue-Django

前后端分离开发移动端App，前端采用Vue，后端采用Django，数据库采用mysql,通过爬虫技术获取数据，展示在移动App中