140378476

Ezrnest's repositories

A programming view of mathematics besides a math library.

Language:JavaMIT700

Rule based formal proof assistant.

Language:Kotlin2 10

A small game project as the homework of my c++ lesson.

Language:C++200

A spider card game written in Python.

Language:Python1 10

Language:PythonMIT100

基于 Python 的数值分析算法程序包。

Language:Python1 10

A backend to collect, store and process timeseries data.

Language:Kotlin1 10

Simple math graphic library related to Ancono.

Language:Java000

Homework of the summer course of Big Data Analysis.

Language:Python010

Language:Python000

Presentations of meetings and events. Introduction wiki pages.

NOASSERTION000

A simple application system as the project of my course of database.

Language:Kotlin000

A modern symbolic math library in Kotlin.

Language:Kotlin000

Web crawler homework

Language:Python010