rowangithub Goto Github PK

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.

machine-learning-for-software-engineers

A complete daily plan for studying to become a machine learning engineer.

ocaml

OCaml "reentrant runtime" experimental branch

poling

Poling -- SMT Aided Linearizability Proofs

probreach

Probabilistic reachability and parameter set synthesis for stochastic hybrid systems

pyexz3

Python Exploration with Z3

reinforcement-learning

Implementation of Reinforcement Learning Algorithms. Python, OpenAI Gym, Tensorflow. Exercises and Solutions to accompany Sutton's Book and David Silver's course.

seahorn

SeaHorn Verification Framework

spen

SeParation logic ENtailment

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.

synthhorn

LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.

tool_lists

Links to tools by subject

vrl_codereview