rowangithub Goto Github PK
Name: He Zhu
Type: User
Company: Rutgers University
Location: New Brunswick
Blog: herowanzhu.github.io
Name: He Zhu
Type: User
Company: Rutgers University
Location: New Brunswick
Blog: herowanzhu.github.io
最全中华古诗词数据库, 唐宋两朝近一万四千古诗人, 接近5.5万首唐诗加26万宋诗. 两宋时期1564位词人,21050首词。
Collaborative Filtering -- Machine Learning based Recommendation System
KeyValue -- Distributed KeyValue Store Implementation
DOrder -- Automatically Learning Shape Specifications
A fast way to train reinforcement learning agent based on MCTS and Supervised Learning
HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
A complete daily plan for studying to become a machine learning engineer.
OCaml "reentrant runtime" experimental branch
Poling -- SMT Aided Linearizability Proofs
Probabilistic reachability and parameter set synthesis for stochastic hybrid systems
Python Exploration with Z3
Implementation of Reinforcement Learning Algorithms. Python, OpenAI Gym, Tensorflow. Exercises and Solutions to accompany Sutton's Book and David Silver's course.
SeaHorn Verification Framework
SeParation logic ENtailment
Stan development repository (home page is linked below). The master branch contains the current release. The develop branch contains the latest stable development. See the Developer Process Wiki for details.
LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
Links to tools by subject
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 is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
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.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.