Pinned Repositories
chinese-poetry
最全中华古诗词数据库, 唐宋两朝近一万四千古诗人, 接近5.5万首唐诗加26万宋诗. 两宋时期1564位词人，21050首词。
CollaborativeFiltering
Collaborative Filtering -- Machine Learning based Recommendation System
DistributedKeyValueStore
KeyValue -- Distributed KeyValue Store Implementation
DOrder
DOrder -- Automatically Learning Shape Specifications
FastRL
A fast way to train reinforcement learning agent based on MCTS and Supervised Learning
hyst
HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
ivy
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.
Poling
Poling -- SMT Aided Linearizability Proofs
SynthHorn
LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
VRL_CodeReview
rowangithub's Repositories
rowangithub/DOrder
DOrder -- Automatically Learning Shape Specifications
rowangithub/Poling
Poling -- SMT Aided Linearizability Proofs
rowangithub/SynthHorn
LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
rowangithub/VRL_CodeReview
rowangithub/chinese-poetry
最全中华古诗词数据库, 唐宋两朝近一万四千古诗人, 接近5.5万首唐诗加26万宋诗. 两宋时期1564位词人，21050首词。
rowangithub/CollaborativeFiltering
Collaborative Filtering -- Machine Learning based Recommendation System
rowangithub/DistributedKeyValueStore
KeyValue -- Distributed KeyValue Store Implementation
rowangithub/FastRL
A fast way to train reinforcement learning agent based on MCTS and Supervised Learning
rowangithub/hyst
HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
rowangithub/ivy
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.
rowangithub/machine-learning-for-software-engineers
A complete daily plan for studying to become a machine learning engineer.
rowangithub/ocaml
OCaml "reentrant runtime" experimental branch
rowangithub/probreach
Probabilistic reachability and parameter set synthesis for stochastic hybrid systems
rowangithub/PyExZ3
Python Exploration with Z3
rowangithub/reinforcement-learning
Implementation of Reinforcement Learning Algorithms. Python, OpenAI Gym, Tensorflow. Exercises and Solutions to accompany Sutton's Book and David Silver's course.
rowangithub/seahorn
SeaHorn Verification Framework
rowangithub/spen
SeParation logic ENtailment
rowangithub/stan
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.
rowangithub/tool_lists
Links to tools by subject