Name: Bonan Su
Type: User
Company: High school affiliated to Nanjing normal university
Bio: やがて、平凡な人になった
Twitter: SugarSBN
Blog: www.subonan.com
📫 How to reach me:
QQ: 913150678
TEL: +8615952265117
E-mail: [email protected]
I'm interested in Programming languages theory / type theory / category theory / logic / interpreters / funtional programming / quantum computation / static analysis, verification, optimization
2020-2021java-
blog-comments
charon
The Charon tool for analyzing neural network robustness
computer-graphics
covid19_visualization
大一下js大作业
cs144-computer-networking
Stanford CS144 Introduction to Computer Networking Labs
csapp-lab
database-project
eran
ETH Robustness Analyzer for Deep Neural Networks
face_recognition
The world's simplest facial recognition api for Python and the command line
facedetection
Easy face detection using openCV
hott-intro-agda
formalization of Homotopy type theory in Agda
jsonitor
大一下QtC++大作业，一个轻量的JSON编辑器 A light JSON Editor
kmeans-parallel
A parallel implementation of Kmeans algorithm in Haskell
machine-learning-labs
mindquantum
mindquantum_qcnn_mnist
An implementation of quantum convolutional neural network with MindQuantum. Huawei, classifying MNIST dataset
naive-assembly
An educational naive assembly language for the experiment of superoptimization
neko-lang
A toy functional programming language, named Neko
numerical-analysis
labs
pl0-compiler
A simple compiler of toy language PL0, implemented in Haskell
plfa-zh
qcnn-robustness-verifier
An unqiue and effective to verify the robustness of quantum neural network through abstract interpretation
sbn_raspberrypi
树莓派大作业
separation-logic-foundation
Volume 6. of Software Foundations
sicp
Structure and Interpretation of Computer Programs
software-foundations-cis500
homework
stanford-cryptography
optional programming assignment Standford CS255 introduction to cryptography
stoke
STOKE: A stochastic superoptimizer and program synthesizer
sugarsbn
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
