Pinned Repositories
15-466-f20-base0
Base code for 15-466-f20 game0: Not Pong.
ab3
EcustAutodiff
image-processing
learn-in-ecust
A Java Web project
p
PyEcustRunner
Python Programming 2020 Sping Final Project. Flask Web.
thyecust's Repositories
thyecust/p
thyecust/ab3
thyecust/PyEcustRunner
Python Programming 2020 Sping Final Project. Flask Web.
thyecust/AFFiNE
There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable and ready to use.
thyecust/automap
thyecust/awesome-benchmarks
Awesome benchmark programs, tools, platforms and other.
thyecust/awesome-papers
thyecust/color
Use grep to make your document colorful!
thyecust/coqwiki
thyecust/cv
thyecust/en
thyecust/fsharp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
thyecust/hand-program-analysis
thyecust/kotlin-web-site
The Kotlin programming language website
thyecust/leetcode-asm
thyecust/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
thyecust/moonbit-wasm-game-of-life
Game of life in MoonBit
thyecust/poem
thyecust/product
thyecust/rxjs
A reactive programming library for JavaScript
thyecust/sonar-sql-plugin
SQL language (T-SQL, MySQL, Vertica and PostgreSQL dialects) plugin for SonarQube
thyecust/spark
Apache Spark - A unified analytics engine for large-scale data processing
thyecust/tapl
thyecust/TextTree
a python implementation of clang::TextTreeStructure.
thyecust/theorem_proving_in_lean4
Theorem Proving in Lean 4
thyecust/thyecust
thyecust/thyecust.github.io
The best not come alone，It comes with the company of the all.
thyecust/tr35
thyecust/translation
some translation pieces from EN to CN-ZH
thyecust/warn