rinsmq Goto Github PK

atom-alloy

Atom package for [alloy modeling language](http://alloy.mit.edu/alloy/index.html)

autotest

learning automated testing

defects4j

A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research

fmbt

Free Model Based tool

git-learning

guava

Google core libraries for Java

interview-go

golang面试题集合

junit-quickcheck

Property-based testing, JUnit-style

learnlib

A free, open-source Java library for automata learning algorithms

learnlib-ttt

ltsmin

The LTSmin model checking toolset

mut-learn

Mutation-based implementation of a random equivalence testing strategy for active automata learning

nlpday-workshop-2018

Playing with training and testing sets: active learning, interpretability and black-box machine learning debugging

nusmv2.5.4

onlinejudge

Open source online judge based on Python, Django and Docker. | 开源 Online Judge | 如果您在使用这个系统，请watch或者加入QQ群，这样可以收到最新的更新 | 2.0重构版正在开发

project

qtaste

[NEW RELEASE VERSION 3.0.0] The QTaste is an open-source functional and non-functional test environment offering services to developers and testers. It has been implemented following a data driven testing philosophy.

redis-3.0-annotated

带有详细注释的 Redis 3.0 代码（annotated Redis 3.0 source code）。

reinforcement-learning-code

reinforcement-learning-gridworld

用（量子）增强学习训练AI走迷宫

researchtopic

课题研究代码

simple_http_file_downloader

一个简单的支持HTTP中GET方法的文件下载服务器

weapp-qrcode

weapp.qrcode.js 在 微信小程序 中，快速生成二维码