haitianwang Goto Github PK

alloyanalyzer

An unofficial copy of MIT's Alloy Analyzer model checking tool.

blog

杜远超官方频道【编程 软件使用 科技数码 读书】

bootstrap

The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.

boston_housing

这是学习了机器学习这门课后实现的一个小案例，分析数据集，并使用梯度下降算法训练线性回归模型，最后使用训练好的模型进行预测。

cits5503_sem2_2023

Cloud Computing [CITS5503] in Semester 2 2023

computation-data-analysis

For Unit CDA CITS4009

concuerror

Concuerror is a stateless model checking tool for Erlang programs.

cvat

Annotate better with CVAT, the industry-leading data engine for machine learning. Used and trusted by teams at any scale, for data of any scale.

docs.uppaal.org

This repo contains the official UPPAAL documentation published on https://docs.uppaal.org

drawio-diagrams

Diagrams for draw.io

electron-ssr-backup

electron-ssr原作者删除了这个伟大的项目，故备份了下来，不继续开发,且用且珍惜

evrostos

Evrostos: The rLTL Verifier

flask-social-blogging-application

handson-ml2

A series of Jupyter notebooks that walk you through the fundamentals of Machine Learning and Deep Learning in Python using Scikit-Learn, Keras and TensorFlow 2.

hellogithub

:octocat: Find pearls on open-source seashore 分享 GitHub 上有趣、入门级的开源项目

high-performance-computing

HPC Optimization

learngit-1

教程→ http://t.cn/zQ6LFwE 推送请使用UTF-8编码

machine-learning-in-action-python3

《机器学习实战》python3源码

machinelearning_basicalgorithm

保存个人机器学习代码，包含：决策树、KNN、SVM、神经网络、简单线性回归、多元线性回归、Kmeans、层次聚类。对应文档 ：http://blog.csdn.net/YEN_CSDN/article/category/6725711

mbeddr.formal

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

mealmate

Online intelligent food ordering platform

microblog

A microblogging web application written in Python and Flask that I developed as part of my Flask Mega-Tutorial series.

ml_for_learner

Implementations of the machine learning algorithm with Python and numpy

org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

project

bluetooth one connect multi use raspberry pi3 and HC-05

pymodelchecking

A Python model checking package

pynusmv

Python binding for NuSMV.

repair-labs

shadowsocks-qt5

A cross-platform shadowsocks GUI client

shadowsocksrrshare

「勤劳的搬运工」「科学上网」「翻墙」「ss、ssr、vmess免费节点」「每天更新」