Language for high-assurance and high-speed cryptography

Coq179mit

7 months ago

compilercoqlanguage

Simple JavaScript testing framework for browsers and node.js

JavaScript15689mit

3 months ago

jasminejavascripttdd

Reporter classes for the jasmine test framework. Includes JUnitXmlReporter for g

JavaScript394mit

last year

Run Jasmine tests in Node.js

JavaScript111mit

2 years ago

gulp-pluginjasminejavascript

ESLint rules for Jasmine

JavaScript96mit

last year

eslinteslint-plugin-jasminejasmine

A port of the Jasmine testing framework to Dart.

Dart43mit

8 years ago

Library that allows tests written in Java to follow the BDD style introduced by

Java47mit

2 years ago

jasminejavajunit