Bisect | OCaml Programming | Chapter 6 Video 18

preview_player
Показать описание
Bisect is a tool for automated glass-box testing and statement coverage of OCaml programs.

  1. Michael Ryan Clarkson
Рекомендации по теме
Bisect | OCaml 0:03:45

Bisect | OCaml Programming | Chapter 6 Video 18

Glass Box Testing 0:06:54

Glass Box Testing | OCaml Programming | Chapter 6 Video 17

Approaches to Testing 0:06:33

Approaches to Testing | OCaml Programming | Chapter 6 Video 14

Bugs | OCaml 0:02:33

Bugs | OCaml Programming | Chapter 6 Video 13

Implementing Abstraction Functions 0:06:39

Implementing Abstraction Functions | OCaml Programming | Chapter 6 Video 8

Equational Reasoning | 0:06:37

Equational Reasoning | OCaml Programming | Chapter 6 Video 23

Randomized Testing and 0:07:29

Randomized Testing and QCheck | OCaml Programming | Chapter 6 Video 19

Abstraction Functions and 0:03:15

Abstraction Functions and Commutative Diagrams | OCaml Programming | Chapter 6 Video 11

Wall: rendering vector 0:21:16

Wall: rendering vector graphics with OCaml and OpenGL

Example Proof: Iterative 0:11:57

Example Proof: Iterative Factorial | OCaml Programming | Chapter 6 Video 26

Equality of Expressions 0:04:47

Equality of Expressions | OCaml Programming | Chapter 6 Video 22

Debugging | OCaml 0:04:48

Debugging | OCaml Programming | Chapter 6 Video 20

Association Lists: Insert, 0:03:07

Association Lists: Insert, Find, Remove | OCaml Programming | Chapter 8 Video 7

OCaml Workshop 2021 0:15:12

OCaml Workshop 2021 - Wibbily Wobbly Timey Camly

Advent of Code 0:29:08

Advent of Code practice in OCaml (2019, day 3, part 1)

Live Code 'Ray 1:14:40

Live Code 'Ray Tracing in a Weekend' in OCaml Part 5: Motion Blur and Polymorphic Shapes

OCaml 2021 - 0:15:12

OCaml 2021 - Wibbily Wobbly Timey Camly

Live Code 'Ray 1:03:46

Live Code 'Ray Tracing in a Weekend' in OCaml Part 2: Lambertian

Live Code 'Ray 2:07:50

Live Code 'Ray Tracing in a Weekend' in OCaml Part 6: AABB

Live Code 'Ray 1:44:56

Live Code 'Ray Tracing in a Weekend' in OCaml Part 4: Finishing the first book!

Path Tracing In 1:03:16

Path Tracing In Two Languages: A Comparison Between Imperative and Functional Programming-Lesley Lai

'Type Systems - 0:38:12

'Type Systems - The Good, Bad and Ugly' by Paul Snively and Amanda Laucher

Guaranteed Constrained and 0:13:51

Guaranteed Constrained and Unconstrained Global Optimisation in Julia | D.P. Sanders | JuliaCon 2019

LftCM2020: Sets in 0:24:03

LftCM2020: Sets in Lean - Jeremy Avigad