shengfeng

Formal Method NLPer

Shanghai

Pinned Repositories

AnalytiCup2018
Language:Jupyter Notebook2 2 00
Attention-is-All-You-Need
Language:Python1 2 00
classdiagram
formalization of class diagrams using Coq
Language:Coq1 2 00
coursera_deep_learning
Language:Jupyter Notebook1 2 00
crf
Language:Jupyter Notebook1 2 00
halo2-examples
Language:Rust1 1 00
leetcode-rust
Language:Rust1 2 00
leetcode_cxx
Language:C++10
reinforcement
Language:Python1 2 00
rustlings-answer
Language:Rust1 2 00

shengfeng's Repositories

shengfeng/AnalytiCup2018
Language:Jupyter Notebook2 2 00
shengfeng/Attention-is-All-You-Need
Language:Python1 2 00
shengfeng/classdiagram
formalization of class diagrams using Coq
Language:Coq1 2 00
shengfeng/coursera_deep_learning
Language:Jupyter Notebook1 2 00
shengfeng/crf
Language:Jupyter Notebook1 2 00
shengfeng/Dive-into-DL-PyTorch
本项目将《动手学深度学习》(Dive into Deep Learning)原书中的MXNet实现改为PyTorch实现。
Language:Jupyter Notebook1 1 00
shengfeng/gan_for_fun
Language:Python1 2 0
shengfeng/halo2
Language:Rust1 1 00
shengfeng/halo2-examples
Language:Rust1 1 00
shengfeng/image_classifier
Language:Python1 2 0
shengfeng/json-tutorial
从零开始的 JSON 库教程
Language:C1 1 0
shengfeng/leetcode-rust
Language:Rust1 2 00
shengfeng/leetcode_cxx
Language:C++10
shengfeng/react-demo
1 2 0
shengfeng/reinforcement
Language:Python1 2 00
shengfeng/rustlings-answer
Language:Rust1 2 00
shengfeng/shengfeng
Config files for my GitHub profile.
1 1 0
shengfeng/software-foundation
Language:HTML1 2 00
shengfeng/subject-category
Language:Python1 2 00
shengfeng/classdiagram2coq
Language:Python0 2 00
shengfeng/data-structure
2 0
shengfeng/exmaples_for_mxnet
2 0
shengfeng/formalization_of_UTP
2 0
shengfeng/HMM
Hidden Markov Model (HMM)
Language:Python2 0
shengfeng/mechanized-semantics-of-statecharts
Language:Coq2 0
shengfeng/xmi2pl
UML图转换为 Prolog代码
Language:Python2 0