Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for testing ocaml
ocaml
x
testing
x
18 search results found
Alcotest
⭐
383
A lightweight and colourful test framework
Qcheck
⭐
323
QuickCheck inspired property-based testing for OCaml.
Scilla
⭐
238
Scilla - A Smart Contract Intermediate Level Language
Quickchick
⭐
235
Randomized Property-Based Testing Plugin for Coq
Crowbar
⭐
174
Property fuzzing for OCaml
Ppx_expect
⭐
133
Cram like framework for OCaml
Ppx_inline_test
⭐
125
Syntax extension for writing in-line tests in ocaml code
Smoosh
⭐
98
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
Djs
⭐
78
Dependent JavaScript: A Typed Dialect
Ocaml_skeleton
⭐
66
A basic OCaml project with unit tests
Install Ocaml
⭐
62
Instructions for setting up an OCaml development environment
Qcstm
⭐
54
A simple state-machine framework for OCaml based on QCheck
Letters
⭐
52
Letters is an OCaml library for creating and sending emails over SMTP using LWT
Ocaml Data Structures
⭐
51
Some data structures and algorithms written in OCaml
Autoci
⭐
36
automatic ci configuration for the people
Regenerate
⭐
28
Tool to generate test-cases for regular expression engines
Respect
⭐
28
RSpec inspired test framework for Reason/OCaml/Bucklescript.
Ocaml Decimal
⭐
27
Arbitrary-precision floating-point decimals
Trakeva
⭐
23
Transactions, Keys, and Values
Processor
⭐
23
A compiler, assembler, and processor.
Jsexplain
⭐
20
Inline Test Ppx
⭐
19
Write inline tests in ReScript, a ppx extension
Ocaml Tftp
⭐
18
Ocaml Webtest
⭐
17
Unit test framework compatible with js_of_ocaml
Ocaml Junit
⭐
17
OCaml package to produce JUnit xml reports
Jsofocairo
⭐
16
OCaml library to reuse Cairo-based drawing code in browser
Techelson
⭐
15
A test execution engine for Michelson smart contracts.
C4f
⭐
13
The C4 Concurrent C Fuzzer
Ocaml Testsimple
⭐
13
Test::Simple, for OCaml
Ppx_factory
⭐
12
OCaml preprocessor to derive factory methods and default values from type definitions
Troll Of Fame Reason
⭐
11
PBT workshop in ReasonML
Ocaml Encodings
⭐
10
Character and string encoding (UTF) library for OCaml.
Ocamlot
⭐
10
CI and test infrastructure for OPAM packages
Fadbadml
⭐
9
Automatic Differentiation: FADBAD++ for OCaml
Qubes Test Mirage
⭐
8
Scripts I use to test Mirage unikernels on QubesOS
Dryunit
⭐
8
A detection tool for traditional unit testing in OCaml
Ocaml Mock
⭐
8
Configurable functions to test impure code
Pa_ounit
⭐
7
Deprecated, use ppx_inline_test instead
Caravan
⭐
7
A framework for stateful, black-box testing of arbitrary systems, in OCaml. Inspired by Erlang/OTP's Common Test.
Rage
⭐
7
Results And Graphing Engine
Bs Tape
⭐
6
BuckleScript bindings for tape
Infinite Jest
⭐
6
Experimental cross-platform native/BuckleScript test framework
Vim Exercism
⭐
6
Model_quickcheck
⭐
6
Model_quickcheck: Model-based testing for imperative OCaml code
Ocaml Test Stdlib
⭐
6
Crowbar tests for OCaml standard library modules.
Tbf
⭐
6
A framework for using test case generators to locate errors in C programs
Irmin Resp
⭐
6
A RESP server for Irmin
Linuxkit Ci
⭐
6
The CI configuration for testing LinuxKit
Luck
⭐
6
with any luck, an alternative interpreter for ChucK
Caml Est Belle
⭐
5
MinCaml to ARM compiler
Expect_test_helpers_core
⭐
5
Helpers for writing expectation tests
Bs Ospec
⭐
5
BuckleScript bindings for ospec
Tensorflocaml
⭐
5
Ocaml Implementation of TensorFlow
Ocaml Exenum
⭐
5
Exenum (OCaml library) : build efficient enumerations for datatypes. Inspired by Feat for Haskell.
Texy
⭐
5
compiler
Related Searches
Angular Testing (22,105)
Command Line Testing (21,674)
Javascript Testing (21,651)
Typescript Testing (20,791)
Python Testing (9,499)
Java Testing (7,064)
Ruby Testing (4,020)
Html Testing (3,478)
Php Testing (3,466)
Reactjs Testing (3,184)
1-18 of 18 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.