Li Chen 陈 力's repositories
LSTM-Neural-Network-for-Time-Series-Prediction
LSTM built using Keras Python package to predict time series steps and sequences. Includes sin wave and stock market data
agda-routing
An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
ColossalAI
Making big AI models cheaper, easier, and scalable
companion-app
AI companions with memory: a lightweight stack to create and host your own AI companions
dist_tknbkt
Distributed rate limiting
fucking-algorithm
手把手撕LeetCode题目,扒各种算法套路的裤子,not only how,but also why. English version supported!
github-issue-templates
:symbols: A collection of GitHub issue and pull request templates
haikus-for-codespaces
haikus-for-codespaces
HVM
A massively parallel, optimal functional runtime in Rust
osrm-backend
Open Source Routing Machine - C++ backend
Symmetric-Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
TFC-pretraining
Self-supervised contrastive learning for time series via time-frequency consistency