Magikaaarp

Pinned Repositories

Magikaaarp.github.io
Language:CSS10
hello-world
just a repository
00
math-comp
Mathematical Components
Language:Coq00
microsat
microsat
Language:C++00
nPSO_model
MATLAB code for the nonuniform PSO (nPSO) model
Language:MATLAB00
UCAS_MatrixAanlysis
国科大(UCAS)李保滨老师2020矩阵分析课程资源(课件，作业，和编程大作业)
Language:Python00
nagini
Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
Language:Python2278
CoqQ
Language:Coq151
UCAS_MatrixAanlysis
国科大(UCAS)李保滨老师2020矩阵分析课程资源(课件，作业，和编程大作业)
Language:Python143
real-closed
Theorems for Real Closed Fields
Language:Coq1311

Magikaaarp's Repositories

Magikaaarp/UCAS_MatrixAanlysis
国科大(UCAS)李保滨老师2020矩阵分析课程资源(课件，作业，和编程大作业)
Language:Python
Magikaaarp/math-comp
Mathematical Components
Magikaaarp/Magikaaarp.github.io
Language:CSS1
Magikaaarp/microsat
microsat
Language:C++
Magikaaarp/hello-world
just a repository
Magikaaarp/nPSO_model
MATLAB code for the nonuniform PSO (nPSO) model