tdzl2003/lua.js
Lua.js publish pages.
FrontEnd React BigData
Repositories
tdzl2003/react-native-web-platform
React Native on web
tdzl2003/chase_game
tdzl2003/LeanAlgeo
Lean prove library for https://dajiaoai.com/
tdzl2003/react
A declarative, efficient, and flexible JavaScript library for building user interfaces.
tdzl2003/react-native
A framework for building native apps with React.
tdzl2003/fpv_cpp_exp_demo
tdzl2003/fpv_demo
tdzl2003/mobx-lesson-20170122
tdzl2003/algorithm_workspace
tdzl2003/learn_lean
When I'm learning lean
tdzl2003/LeanEuclid
tdzl2003/LeanAlgorithm
tdzl2003/my_lean_course
Learn lean proving with me
tdzl2003/leetcode_live
tdzl2003/luaqt
Lua(JIT) wrapper for QT
tdzl2003/lean4anim
tdzl2003/langchainjs
🦜🔗 Build context-aware reasoning applications 🦜🔗
tdzl2003/node-lua
evented I/O for LuaJIT
tdzl2003/react-subscribe
tdzl2003/student_math_practice
tdzl2003/seedplugins
Seed Foundation Plugins. Plugins for Seed Game Engine.
tdzl2003/raii.js
RAII stack implement based on ES6 Promise.
tdzl2003/timeline
simple timeline recorder for online game usage
tdzl2003/node-sql-parser
Parse simple SQL statements into an abstract syntax tree (AST) with the visited tableList and convert it back to SQL
tdzl2003/PaddleSpeech
Easy-to-use Speech Toolkit including SOTA/Streaming ASR with punctuation, influential TTS with text frontend, Speaker Verification System, End-to-End Speech Translation and Keyword Spotting. Won NAACL2022 Best Demo Award.
tdzl2003/glTFast
Efficient glTF 3D import / export library for Unity
tdzl2003/dark-bot
tdzl2003/Auto.js
A UiAutomator on android, does not need root access(安卓平台上的JavaScript自动化工具)
tdzl2003/arch_design_one_two_three
这是一本讲解架构设计方法论的书，方法论是指我们不但要讲怎么做架构设计，还要讲为什么这么设计，背景是什么，逻辑是什么，是怎么想到的，等等等等。