nksezx's starred repositories
Codestrates
Literate Computing with Webstrates
prob-school
Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)
programming-language-foundations-2018
My solutions to exercises in "Programming Language Foundations" (2018-2019)
observable
A toy embedded language for probabilistic programming.
probzelus-haskell
A probabilistic programming language for streaming inference
Anant_UseCase_Diagram2
It is a Usecase diagram for E-commerce system in a more detailed way.
Business-Analytics
Requirements Document, Business case, Use cases, IOS, Web application screen shots, diagrams using VISIO and Gliffy
Restaurant-Management-System
This Project was developed in C++ using object oriented approach. QT Creator was used in order to implement GUI of the project. Besides implementation we also made sequence diagrams, activity diagrams, used cases, analysis and design class diagram. We also used design pattern in implementation of this project.
pointer_analyse
a soot-based software to analyse pointer in java program
pointerAnalysis
soot-based pointer analysis course project
ucas-hwk-pointer-analysis
程序分析大作业：使用 SOOT 框架，实现 Java 上的静态指针分析
cnn-explainer
Learning Convolutional Neural Networks with Interactive Visualization.
ConvNetDraw
Draw multi-layer neural network in your browser
sketch-n-sketch
Direct Manipulation Programming for HTML/SVG
RacketGuideInChinese
Racket指南（中文翻译）
monadTransformers
Repo for the talk "Monad Transformers For The Easily Confused", for LambdaConf 2018
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
learnhaskell
Learn Haskell