shengfeng

followers

following

stars

Shanghai

Feng Sheng's repositories

AnalytiCup2018

Language:Jupyter NotebookMIT2 20

Attention-is-All-You-Need

Language:Python1 20

classdiagram

formalization of class diagrams using Coq

Language:Coq1 20

coursera_deep_learning

Language:Jupyter NotebookMIT1 20

crf

Language:Jupyter Notebook100

Dive-into-DL-PyTorch

本项目将《动手学深度学习》(Dive into Deep Learning)原书中的MXNet实现改为PyTorch实现。

Language:Jupyter NotebookApache-2.01 10

gan_for_fun

Language:Python100

halo2

Language:RustNOASSERTION1 10

halo2-examples

Language:RustMIT1 10

image_classifier

Language:Python1 20

json-tutorial

从零开始的 JSON 库教程

Language:C1 10

leetcode-rust

Language:Rust1 20

react-demo

1 20

reinforcement

Language:PythonApache-2.0100

rustlings-answer

Language:RustMIT1 20

shengfeng

Config files for my GitHub profile.

1 10

software-foundation

Language:HTML1 20

subject-category

Language:PythonApache-2.01 20

classdiagram2coq

Language:Python020

data-structure

020

exmaples_for_mxnet

000

formalization_of_UTP

000

HMM

Hidden Markov Model (HMM)

Language:Python020

mechanized-semantics-of-statecharts

Language:Coq020

xmi2pl

UML图转换为 Prolog代码

Language:Python020