SqRoots

mathlib4

The math library of Lean 4

MathlibExplorer

Visualizing the network of math theories.

lakey

Lakey, a CW training tool.

screenshot-to-code

Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)

FT8CN

Run FT8 on Android

adata

免费开源A股量化数据库； 专注A股，专注量化，向阳而生； 开放、纯净、持续、为Ai(爱)发电。为个人量化交易而生，保卫3000(2500)点，珍惜底部机会......【股票数据，股票行情数据，股票量化数据，股票交易数据，k线行情数据，股票概念数据，股票数据接口，行情数据接口】【多数据源融合，动态设置代理，保障数据高可用性】

pack

背包问题九讲

SummaryOfLoanSuspension

全国各省市停贷通知汇总

zh.javascript.info

现代 JavaScript 教程（The Modern JavaScript Tutorial），以最新的 ECMAScript 规范为基准，通过简单但足够详细的内容，为你讲解从基础到高阶的 JavaScript 相关知识。

Developer-Books

编程开发相关书单列表整理

LegnaNavigation

Easy，Quick，Comfort

hive-third-functions

Some useful custom hive udf functions, especial array, json, math, string functions.

WolframLanguageForJupyter

Wolfram Language kernel for Jupyter notebooks

typesetting-standard

中文排版所需遵循的标准和规范

manim

Animation engine for explanatory math videos

OI-wiki

:star2: Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）

legendary

regular-investing-in-box

定投改变命运 —— 让时间陪你慢慢变富 https://onregularinvesting.com

jira

Dockerized Atlassian Jira

javascript-questions

A long list of (advanced) JavaScript questions, and their explanations :sparkles:

mathematics_dataset

This dataset code generates mathematical question and answer pairs, from a range of question types at roughly school-level difficulty.

everyone-can-use-english

人人都能用英语

word

Java分布式中文分词组件 - word分词

jSoupLink

HTML parser for Mathematica/Wolfram Language

sketch-code

Keras model to generate HTML code from hand-drawn website mockups. Implements an image captioning architecture to drawn source images.

lixuan.xyz-home

My Home Page powered by vue.

deep_learning_object_detection

A paper list of object detection using deep learning.

CompetitionList

It is a list for ML/DL/DM competitions.

lixuan.xyz-favor

偏爱（原典藏）

xgboost

Scalable, Portable and Distributed Gradient Boosting (GBDT, GBRT or GBM) Library, for Python, R, Java, Scala, C++ and more. Runs on single machine, Hadoop, Spark, Dask, Flink and DataFlow